ROADMAP : why3bench done

2ec97d0e · François Bobot · 86d136f5 · 2ec97d0e
Commit 2ec97d0e authored Dec 20, 2010 by François Bobot
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

ROADMAP ROADMAP +1 -1

No files found.
--- a/ROADMAP
+++ b/ROADMAP
@@ -21,7 +21,7 @@
 7.4 why3 (done)
 7.5 whyml (done)
 7.6 IDE (done)
-7.7 whybench (TODO Francois)
+7.7 whybench (done, to be read by others)
 7.8 why.conf (done)
 7.9 drivers (to be done later)
 7.10 transformations (done)