From 64a15e7a85ac1127790a41c48f532f196697ec5b Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 21:50:32 +0900 Subject: Update Changelog.md --- Changelog.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Changelog.md b/Changelog.md index d3626c9..b19d4f8 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,6 +1,13 @@ # Change log +### Logo of Inpla (released on 27 December 2021) + +- A logo is released as an idea: +![inpla-logo](pic/inpla-logo.png) + + ### v0.5.5 (released on 19 December 2021) + #### Bug Fix (minor): - The name `x` in a connection `x~s` should be substituted if the `x` occurs on a term in other connections, but it should be done if the `x` is specified by `int` modification. But every name has been a target of the substitution, so it is fixed now. -- cgit v1.2.3