diff --git a/README.md b/README.md index 5388b4d..c272b69 100644 --- a/README.md +++ b/README.md @@ -30,7 +30,7 @@ oak [-v] [-c] [-f] [-m] [-w] ## 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 index 9d9415a..f38cf4e 100644 --- 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 = {}