Commit 185d8b0c authored by POTTIER Francois's avatar POTTIER Francois

TODO item.

parent d71b33d3
* Dans les avantages de Menhir versus ocamlyacc (dans la doc et
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
......
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