diff options
| -rw-r--r-- | Changelog.md | 7 |
1 files changed, 7 insertions, 0 deletions
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: + + + ### 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. |