Commit 24ddab81 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Version 0.87.2

parent 47ccceb3
* marks an incompatible change * marks an incompatible change
Version 0.87.2, September 1, 2016
=================================
bug fixes
o improved well-formedness of extracted OCaml code
o assorted bug fixes
Version 0.87.1, May 27, 2016 Version 0.87.1, May 27, 2016
============================ ============================
......
...@@ -132,7 +132,7 @@ ...@@ -132,7 +132,7 @@
- do "make apidoc" - do "make apidoc"
* make a last commit: * make a last commit:
- git commit -am "release 0.86" - git commit -am "Version 0.86"
- git tag 0.86 - git tag 0.86
* do "make dist" * do "make dist"
* test distrib/why3-0.86.tar.gz * test distrib/why3-0.86.tar.gz
......
# Why version # Why version
VERSION=0.87.1 VERSION=0.87.2
...@@ -108,7 +108,7 @@ ...@@ -108,7 +108,7 @@
%BEGIN LATEX %BEGIN LATEX
\begin{LARGE} \begin{LARGE}
%END LATEX %END LATEX
Version \whyversion{}, May 2016 Version \whyversion{}, September 2016
%BEGIN LATEX %BEGIN LATEX
\end{LARGE} \end{LARGE}
%END LATEX %END LATEX
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment