update version to 0.7

timlabs · May 17, 2024 · ddbf041 · ddbf041
1 parent 09a3fbb
commit ddbf041
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -30,7 +30,7 @@ oak [-v] [-c] [-f] [-m] [-w] <filename>
 
 ## Version history
 
-### v0.7 - 2024-??-??
+### v0.7 - 2024-05-16
 * `-m` option to assume until marker
 * `-f` option to fix the proof by adding citations
 * added `?` syntax to find a missing citation

diff --git a/src/oak.rb b/src/oak.rb
@@ -5,7 +5,7 @@
 
 require_relative 'proof.rb'
 
-name_version = 'Oak version 0.6.1post'
+name_version = 'Oak version 0.7'
 issues_url = 'https://github.com/timlabs/oak/issues'
 
 options = {}