Commit f94c54c7 authored by MARCHE Claude's avatar MARCHE Claude

updated roadmap

parent f03a6487
......@@ -151,7 +151,7 @@
==================== Roadmap for release 0.82 ========================
Scheduled for 31 october 2013
Scheduled for 9 december 2013
== New Features to announce ==
......@@ -314,7 +314,7 @@ Scheduled for 31 october 2013
* DONE bug fix: 16454 (ne pas envoyer des triggers arithmetiques) (GUILLAUME)
* DONE ? bug fix: 15652 (ghost code detection)
* DONE bug fix: 15652 (ghost code detection)
* support for new provers
** Alt-Ergo 0.95.2 DONE
......
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