Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit 436b3647 authored by fpottier's avatar fpottier
Browse files

TODO item (change the license).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@345 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7
parent 62775e2e
* move to a new license (GPL V2?), as per Hongbo Zhang's request.
* when a parse error occurs, decorate the exception with the automaton state
that was reached? this would allow some people to produce better error
messages (Pippijn van Steenhoven). Incompatible change?
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