Skip to content

GitLab

Commit 1cb3c349 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

TODO.

parent 43270a6e
Hide whitespace changes
Inline Side-by-side
Showing with 0 additions and 2 deletions
TODO
View file @ 1cb3c349
* Document the recent additions (CHANGES + doc).
- menhirLib: new functions
loop_handle_undo, shifts, acceptable
find_default_reduction
pop, top, equal, pop_many, get
force_reduction
......@@ -10,7 +9,6 @@
current_state_number
menhirLib: possibly incompatible change of type 'a env
MenhirLib.Printers: incompatible type change of print_stack
deprecated streams, [stack], MenhirLib.General.
MenhirLib.ErrorReports: new module
- Send CompCert pull request.
......
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