diff options
| -rw-r--r-- | Changelog.md | 7 | ||||
| -rw-r--r-- | README.md | 5 | ||||
| -rw-r--r-- | pic/inpla-logo.png | bin | 0 -> 2000 bytes |
3 files changed, 12 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. @@ -815,6 +815,11 @@ Inpla has the following macro: See [Changelog.md](Changelog.md) for details. +### Logo of Inpla (relased on 27 December 2021) + +- A logo is relased as an idea: + + ### Feature of Version 0.5.0 (released on 28 October 2021) * **Abbreviation notation**: An abbreviation notation `<<` is introduced. The following description: diff --git a/pic/inpla-logo.png b/pic/inpla-logo.png Binary files differnew file mode 100644 index 0000000..ad6f1ec --- /dev/null +++ b/pic/inpla-logo.png |
