Commit ebaec40b authored by MARCHE Claude's avatar MARCHE Claude
Browse files

roadmap

parent c9069a0d
......@@ -270,6 +270,7 @@ Scheduled for 31 october 2013
* Patch de johannes pour les noms de fichier pour Isabelle TODO
* discriminate, mettre les bons arguments par defaut (ANDREI)
DONE ?
* eliminate_match: (apres la release ?)
** faire un cas particulier pour "bool", le match pouvant se traduire
......
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