Commit ad42cb5d authored by MARCHE Claude's avatar MARCHE Claude

mails d'annonce dans ROADMAP

parent 07c9445a
......@@ -130,7 +130,7 @@ Beware that some Why features are not available in Why3:
The first release of Why3, also known as the Why platform next
generation, is publicly available. Why3 is a new project, independent
from Why. The detailed annoucement is attached below.
from Why. The detailed announcement is attached below.
The Jessie plugin of the Why release 2.28 has the ability to use Why3
as back-end. You must install both Why 2.28 and Why3 for this to work.
......@@ -147,7 +147,7 @@ The main new features of interest in the GUI are
* new provers available
* calling provers in parallel
* splitting on demand
* ability to call Coq on a given VC a provide a proof script. Incidentally,
* ability to call Coq on a given VC to provide a proof script. Incidentally,
this feature can be used to analyse the VC to understand why it is
not proved automatically.
* proof session saved and restored at startup
......
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