Commit 905d7d4b authored by POTTIER Francois's avatar POTTIER Francois

Remove a TODO item.

parent 56e3805d
......@@ -31,9 +31,6 @@
document the workflow
--interpret-error obeys --trace
* Clear up the Windows path confusion. Can we use "/" in Menhir's
source code and in the Makefiles? Does OPAM work on Windows?
* 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
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment