From 6ff4bf4948bbbf10041a485b41b20d674093b8da Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 21:42:47 +0900 Subject: Create inpla-logo.png --- pic/inpla-logo.png | Bin 0 -> 2000 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 pic/inpla-logo.png diff --git a/pic/inpla-logo.png b/pic/inpla-logo.png new file mode 100644 index 0000000..ad6f1ec Binary files /dev/null and b/pic/inpla-logo.png differ -- cgit v1.2.3 From dfd611dc4b44cfe09c830db093d3677caa9fb529 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 27 Dec 2021 21:50:13 +0900 Subject: Update README.md --- README.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/README.md b/README.md index ce75686..c9a9963 100644 --- a/README.md +++ b/README.md @@ -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: +![inpla-logo](pic/inpla-logo.png) + ### Feature of Version 0.5.0 (released on 28 October 2021) * **Abbreviation notation**: An abbreviation notation `<<` is introduced. The following description: -- cgit v1.2.3 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