Commit 3389a4f3 authored by POTTIER Francois's avatar POTTIER Francois
Browse files


parent be045f3a
......@@ -56,6 +56,10 @@
* --compile-errors could warn about messages wider than 80 columns
could also warn statically about out-of-range $i?
* Implement --copy-errors to copy error messages from one .messages
file to another (for those states that exist in both files).
(Gabriel Scherer.)
* 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, la gestion fine des
Supports Markdown
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