Commit cf457924 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent 7eb20f7f
* Push tags of old repo (forge) into new repo.
update repo URL in opam (use public URL)
git@gitlab.inria.fr:fpottier/menhir.git
* Document the recent additions (CHANGES + doc).
- slightly nicer syntax error messages
- attributes in .mly files
......
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