Commit 1fa91bd7 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

release notes for 0.84

parent dc0d5af2
......@@ -167,6 +167,17 @@ and no epsilon
== New Features to announce ==
Release Notes:
A major visible change in this release is the way Why3 commands are
invoked: instead of several executables why3, why3config, why3ide,
why3replay, why3session, etc., there is only one Why3 executable
called why3, and the former executables are available as commands given
as first argument, e.g. "why3 config", "why3 ide", etc.
Another quite visible change is that session files are split in two
parts, as detailed below in the detailed changes.
== Final preparation ==
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