Update CHANGELOG.md

kind2-mc · Feb 26, 2025 · 27a7cf0 · 27a7cf0
1 parent 88f4a57
commit 27a7cf0
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,10 @@
+### Unreleased
+- Update Kind 2 to version 2.3.0
+- Update buttons for type decls
+- Add syntax highlighting for polymorphism
+- Add 'opaque' and 'transparent' keywords
+- Fix patterns for 'param'
+
 ### Version 0.11.1
 - Update the Simulator interface:
   - Change the default number of columns