Updated change log with new #show and simplification features.

2017-06-05 03:07:50 +02:00
parent 14abc37116
commit 2cbc3116b8
1 changed files with 2 additions and 0 deletions
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,6 +5,8 @@
 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`

 Bug Fixes: