changes

Gbury · Sep 5, 2024 · 0f3536d · 0f3536d
1 parent a1f21fd
commit 0f3536d
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,4 +1,20 @@
 
+next
+----
+
+### UI
+
+- Add the export feature to the `dolmen` binary (PR#211)
+
+### Typing
+
+- Add a logic detection mechanism (PR#211)
+
+### Printing
+
+- Add printers for the SMT-LIB format (PR#211)
+
+
 v0.10
 -----