diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-27 21:50:57 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2021-12-27 21:50:57 +0900 |
| commit | e4621d4bb2ab50361f828bf5bfef3a929c41971a (patch) | |
| tree | 2f40a773a87dc26ee24ee520ab8f55b47c38ac19 /Changelog.md | |
| parent | 3e1448d61b25695d6aa20e3623fd47e6a8272dc6 (diff) | |
| parent | 64a15e7a85ac1127790a41c48f532f196697ec5b (diff) | |
| download | inpla-e4621d4bb2ab50361f828bf5bfef3a929c41971a.tar.gz inpla-e4621d4bb2ab50361f828bf5bfef3a929c41971a.zip | |
Merge branch 'develop'
Diffstat (limited to 'Changelog.md')
| -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. |