updated ROADMAP

parent 2cd501bf
......@@ -87,11 +87,10 @@
- session database in XML format instead of sqlite3
- threads problem in IDE solved (by not using threads anymore)
- IDE: not necessary to exit to change the input file: just use "reload"
** as soon as possible: update why3 output of Why2, release Why 2.30
* increment the magic number in config (A)
* DONE update why3 output of Why2, release Why 2.30
* distribute bench files (A + F)
* increment the magic number in config (A)
* document "Make obsolete" (A)
......
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