Update CHANGELOG.md

maciejpirog · Oct 13, 2020 · 32169ae · 32169ae
1 parent d4793da
commit 32169ae
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,14 +1,14 @@
 # grzb changelog
 
-## HEAD
+## 0.2.0
 
 - Support for arrays implemented by introducing L-expressions in A-exprs (but not exposing them to the user), a la Mike Gordon's notes
 
 - Redesigned module structure: now the whole verifier is parametrised by a verification logic with a simple interface (exports from src/logic.rkt, src/logic/proof-obligations.rkt, and src/logic/solver.rkt)
 
 - Fix an ugly bug in substitution, which is now truly capture-avoiding
 
-## v0.1.1
+## 0.1.1
 
 - Exit codes (1 for logical error, 2 for syntax error, 3 for file error)
 
@@ -18,6 +18,6 @@
 
 - Syntax: axioms before the program
 
-## v0.1.0
+## 0.1.0
 
 - Initial version