Commit 6551fff6 authored by MARCHE Claude's avatar MARCHE Claude

prepare for release 0.71

parent 3e5be62f
* marks an incompatible change
version 0.71, October 11, 2011
==============================
o [examples] a lot of new program examples in directory examples/programs
o [Why3replayer] new option -latex to output a proof session in LaTeX format
o [WhyML] significant improvement of the efficiency of the WP calculus
o [WhyIDE] better coloring and source positioning including from front-ends
such as Krakatoa and Jessie plugin of Frama-C
o [WhyML] fixed labels and source locations in WPs
o [Session] during reload, new method for pairing old and new subgoals
based on goal shapes, stored in database.
o [Session] prover versions are stored in database. A proof is
......
# Why version
VERSION=0.71a
VERSION=0.71
......@@ -57,7 +57,7 @@
\vfill
\begin{LARGE}
Version \whyversion{}, July 2011
Version \whyversion{}, October 2011
\end{LARGE}
\vfill
......
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