From ef715de6c4a52351366adfc5d1de525cf48d8e08 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 29 Mar 2017 21:33:26 +0200 Subject: [PATCH] Updated change log with support for anonymous variables. --- CHANGELOG.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index ca13d9b..1d0afee 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,10 @@ ## (unreleased) +Features: + +* support for anonymous variables + Bug Fixes: * fixes incorrectly simplified rules with comparisons