diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-01-20 18:39:03 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-01-20 18:39:03 +0900 |
| commit | 0a9ab34790f5c493c92aedeba2971288f7a1d4b4 (patch) | |
| tree | 0073d4777cc2289eb6a91aa80f6afe44987fca97 | |
| parent | 5c2aeb71ea65345cbfeb35ed7dc36548b0484139 (diff) | |
| parent | 4c8a88f0205b8f607b8f7cfd2306e5b20aab5619 (diff) | |
| download | inpla-0a9ab34790f5c493c92aedeba2971288f7a1d4b4.tar.gz inpla-0a9ab34790f5c493c92aedeba2971288f7a1d4b4.zip | |
Merge branch 'develop'
Diffstat (limited to '')
| -rw-r--r-- | Changelog.md | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/Changelog.md b/Changelog.md index 9c8fa52..708bdc7 100644 --- a/Changelog.md +++ b/Changelog.md @@ -45,12 +45,12 @@ #### 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. +- 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 had been a target of the substitution, so it was fixed. ### v0.5.4 (released on 18 November 2021) #### Bug Fix (minor): -- When there is a connection `x~s` in nets or rules, the other occurrence of the name `x` will be replaced with the `s`, as one of optimisations. It was done only when the other is just a name, that is, not a subterm, so it is fixed now. +- When there is a connection `x~s` in nets or rules, the other occurrence of the name `x` will be replaced with the `s`, as one of optimisations. It had been done only when the other is just a name, that is, not a subterm, so it was fixed now. ### v0.5.3 (released on 14 November 2021) #### New Features (for constants): @@ -62,7 +62,7 @@ ### v0.5.2 (released on 10 November 2021) #### Bug Fix (minor): -- `Free` command did not work for integer numbers, due to the change by v0.5.1, but it was fixed. +- `Free` command did not work for integer numbers, due to the change by v0.5.1, and it was fixed. ### v0.5.1 (released on 2 November 2021) @@ -121,7 +121,7 @@ - History in Line edit becomes available. #### Bug Fix: - - Long length lists are printed out as abbreviation of 14-length lists, though these were printed out as 1-length lists after putting long lists. + - Long length lists are printed out as abbreviation of 14-length lists. @@ -135,8 +135,7 @@ #### Bug Fix: -- Constants were consumed when they are referred to, but these should be kept and it was fixed as so. -- A global name that has evaluated and occurred twice already was able to be defined. Now it is prevented. +- Constants, which cannot be deleted, had been deleted when they are referred to. It was fixed to be kept. |