Commit 60b2a39b authored by MARCHE Claude's avatar MARCHE Claude

roadmap mise a jour

parent cc7b99c3
......@@ -194,6 +194,14 @@
== TODOs ==
* documentation des nouvelles features higher-order
* fix problems with installed scripts that are missing a proper executable right (mails Frederic Boulanger)
* Isabelle Support:
** fix the problem with why3_jedit script missing executable bit
** add a documentation: start "isabelle why3_jedit" before why3ide, use "Close C-w" to signal the end of edit to why3"
* eliminate_match:
** faire un cas particulier pour "bool", le match pouvant se traduire
vers ite qui est supporté par pas mal de prouveurs
......
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