From 4f399a594a07a7512ce79af2764560b28ee2aa75 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 12 Jun 2017 18:35:06 +0200 Subject: [PATCH] Updated change log with new examples for experimenting. --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 28c2c51..bf06c2d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -8,6 +8,7 @@ Features: * support for hiding predicates from completed output by using `#show` statements * more simplification rules with `--simplify` * command-line option `--parentheses` to fully parenthesize the output +* adds multiple example instances for experimenting Bug Fixes: