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 | |
| parent | 3e1448d61b25695d6aa20e3623fd47e6a8272dc6 (diff) | |
| parent | 64a15e7a85ac1127790a41c48f532f196697ec5b (diff) | |
| download | inpla-e4621d4bb2ab50361f828bf5bfef3a929c41971a.tar.gz inpla-e4621d4bb2ab50361f828bf5bfef3a929c41971a.zip | |
Merge branch 'develop'
| -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 |
