patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Updated change log with new option --parentheses.

Browse Source
This commit is contained in:
Patrick Lühne 2017-06-06 02:07:21 +02:00
parent bbbd0b65a4
commit 1e887594c7
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
CHANGELOG.md
View File

@ -7,6 +7,7 @@ Features:
* unique IDs for all variables (user-defined variables are renamed)
* support for hiding predicates from completed output by using `#show` statements
* more simplification rules with `--simplify`
* command-line option `--parentheses` to fully parenthesize
Bug Fixes: