Commit d1802ec5 authored by MARCHE Claude's avatar MARCHE Claude

updated roadmap. Sorry Andrei, no deleted trailing whitespaces this time

parent 704356fc
......@@ -23,8 +23,8 @@
== Misc ==
* Builtin arrays in provers (Francois)
* make install (done ?)
* debug "make -j"
(done) make install
(done) debug "make -j"
* META for ocamlfind
* headers
......@@ -32,7 +32,6 @@
= Roadmap for 2011 =
* Jessie3
......
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