Commit c76541ab authored by MARCHE Claude's avatar MARCHE Claude

updated roadmap

parent c2313fc2
......@@ -267,6 +267,8 @@ Scheduled for 31 october 2013
== TODOs ==
* Patch de johannes pour les noms de fichier pour Isabelle TODO
* discriminate, mettre les bons arguments par defaut (ANDREI)
* eliminate_match: (apres la release ?)
......
......@@ -15,7 +15,7 @@ open Debug
let debug = register_info_flag "scheduler"
~desc:"Print@ debugging@ messages@ about@ scheduling@ of@ prover@ calls@ \
and@ transformtion@ applications."
and@ transformation@ applications."
module Todo = struct
type ('a,'b) todo =
......
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