version bumped to 3.12

397a5e8e · Gérard Huet · acc984de · 397a5e8e · 397a5e8e
Commit 397a5e8e authored Jan 15, 2019 by Gérard Huet
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 3 deletions

ML/version.ml ML/version.ml +1 -1

SETUP/version.txt SETUP/version.txt +2 -2

No files found.
--- a/ML/version.ml
+++ b/ML/version.ml
@@ -8,4 +8,4 @@
 (**************************************************************************)

 (* Generated by make version - see main Makefile *)
-value version="3.11" and version_date="2019-01-06";
+value version="3.12" and version_date="2019-01-15";
--- a/SETUP/version.txt
+++ b/SETUP/version.txt
-VERSION='3.11'
-DATE='2019-01-06'
+VERSION='3.12'
+DATE='2019-01-15'