preparation for vresion 0.9.12 release

antoinemine · Nov 10, 2019 · 86ac19d · 86ac19d
1 parent c74b2cd
commit 86ac19d
Show file tree

Hide file tree

Showing 5 changed files with 17 additions and 209 deletions.
diff --git a/Changes b/Changes
@@ -1,12 +1,21 @@
+Version 0.9.12
+
+- GitHub hosting
+
+- Documentation hosted on GitHub Pages
+
+- New installation instructions for Windows
+
+- Opam package (ocaml)
+
+- Added a function to get the version number
+
+- Several bugs corrected
+
 Version 0.9.11
 
 - New domain: Taylor1plus (aka zonotopes), provided by CEA LIST
 
-- Distribution/Packaging
-  * OCaml version uses now FINDLIB/ocamlfind tool
-
-- Bugs corrected: several
-
 Version 0.9.10
 
 - Migration advices (due to some API and compilation process changes)

diff --git a/apron/apron.texi b/apron/apron.texi
@@ -2,7 +2,7 @@
 @c -*-texinfo-*-
 @c %**start of header
 @setfilename apron.info
-@settitle APRON 0.9.10
+@settitle APRON 0.9.12
 @c @setcontentsaftertitlepage
 @c include version.texi
 @iftex

diff --git a/apronxx/doc/Doxyfile b/apronxx/doc/Doxyfile
@@ -38,7 +38,7 @@ PROJECT_NAME           = APRONXX
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         = 0.9.7
+PROJECT_NUMBER         = 0.9.12
 
 # Using the PROJECT_BRIEF tag one can provide an optional one line description
 # for a project that appears at the top of each page and should give viewer a

diff --git a/index.tex b/index.tex
diff --git a/version.mk b/version.mk
@@ -1,7 +1,7 @@
 # bump here at each release
 VERSION_MAJOR = 0
 VERSION_MINOR = 9
-VERSION_MICRO = 11
+VERSION_MICRO = 12
 
 # automatically generated
 VERSION_STR = "${VERSION_MAJOR}.${VERSION_MINOR}.${VERSION_MICRO}"