Version 2.0.7

abella-prover · Jan 28, 2021 · 5f6a612 · 5f6a612
1 parent 45d4954
commit 5f6a612
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 2 deletions.
diff --git a/CHANGES b/CHANGES
@@ -1,6 +1,14 @@
-Changes in 2.0.7-dev from 2.0.6
+Changes in 2.0.8-dev from 2.0.7
 -------------------------------
 
+
+Changes in 2.0.7
+------------------
+
+This release adds no functionality, but fixes a number of minor bugs. It also
+makes Abella compilable with OCaml versions 4.08.0 and higher.
+
+
 Bugfixes
 
 * Import statements with file paths containing . no longer break
@@ -16,6 +24,7 @@ Bugfixes
 * Monotone for backchaining sequents should preserve backchaining  
   (Related to #129, formally justified by conjunct 2 of logic/hh_meta.thm)
 
+
 Changes in 2.0.6 from 2.0.5
 ---------------------------
 

diff --git a/myocamlbuild.ml b/myocamlbuild.ml
@@ -4,7 +4,7 @@
 let major_version  : int           = 2
 let minor_version  : int           = 0
 let patch_version  : int           = 7
-let flavor_version : string option = Some "dev"
+let flavor_version : string option = None
 (* END VERSION *)
 
 let version_string =