Commit cfbb25c9 authored by POTTIER Francois's avatar POTTIER Francois

TODO update.

parent f52e873b
......@@ -22,8 +22,6 @@
sur la page Web), ajouter le back-end Coq, l'API incrémentale
et l'API d'inspection, les règles anonymes...
* bench/bad/rule-error.mly should produce a syntax error earlier?
* BUG dans ErrorReporting si l'erreur se produit dans l'état
initial. Pénible que l'API d'inspection ne donne pas accès
à l'état courant lorsque la pile est vide (état initial donc).
......
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