Commit f248910b authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent b430b21a
* Document the recent additions (CHANGES + doc).
- API documentation:
the incremental API uses prototype+explanation, but the inspection API uses explanation+prototype
present functions in a sensible order
organize them into groups?
use internal hyperlinks
- Send CompCert pull request.
* Send CompCert pull request using the new API (current_state_number)
and MenhirLib.ErrorReports where possible.
* Menhir's Web page should be folded back into the git repo's README.
* Move more of ErrorReports from CompCert to MenhirLib.
In [show], might want to apply [shorten] to the output of [f].
* clean up this TODO file! and use gitlab issues for known bugs.
* clean up this TODO file! and use gitlab issues for known bugs?
* Contribute ocamlbuild rules for dealing with .messages 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