Commit c943250e authored by POTTIER Francois's avatar POTTIER Francois


parent daa2b949
......@@ -24,6 +24,7 @@
MenhirLib.Printers: incompatible type change of print_stack
deprecated streams, [stack], MenhirLib.General.
MenhirLib.ErrorReports: new module
- Change of LICENSE. Clarify the status of test/.
- Send CompCert pull request.
* Move more of ErrorReports from CompCert to MenhirLib.
......@@ -38,6 +39,8 @@
* Use Markdown format for CHANGES, etc.
* Contribute ocamlbuild rules for dealing with .messages files.
* see if --only-preprocess-for-ocamlyacc could be implemented.
Re-introduce $1 keywords.
Define $startpos, etc.
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