Commit d93d8a61 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Update CHANGES.

parent e0ce9897
......@@ -4,6 +4,12 @@
tools
* file generated by "why3session html f.mlw" is now
"f/why3session.html" and not "f/f.html"
* the default behavior of why3 has been moved to the "prove" subcommand
* options --exec, --extract, and --realize, have been moved to
subcommands: execute, extract, and realize
* why3replayer has been moved to the "replay" subcommand
* other tools have been moved to why3 subcommands too: config, doc, ide,
session, wc; for local usage, the old commands are still available
library
* renamed array.ArraySorted -> array.IntArraySorted
......
......@@ -139,7 +139,7 @@ and no epsilon
==================== Roadmap for release 0.83 ========================
==================== Roadmap for release 0.84 ========================
== New Features to announce ==
......@@ -166,7 +166,7 @@ See CHANGES
* test distrib/why3-0.84.tar.gz
* install web page for why2 which includes an updated page for the
quick migration guide. (sources are in CVS repository
~filliatr/ARCHIVE/www/why).
~filliatr/ARCHIVE/www/why).
* put on the web page
- why3-0.84.tar.gz
cp distrib/why3-0.84.tar.gz /users/www-perso/projets/why3/download
......
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