Updated change log with new explicit formula representation.

2017-03-15 16:32:26 +01:00
parent a7e23210f6
commit 33e47ae089
1 changed files with 4 additions and 0 deletions
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,10 @@

 ## (unreleased)

+Internal:
+
+* explicit syntax tree representation for first-order formulas
+
 ## 0.1.1 (2017-03-06)

 Features: