Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
9a1c5eec
Commit
9a1c5eec
authored
Apr 07, 2017
by
POTTIER Francois
Browse files
TODO.
parent
754eefd7
Changes
1
Hide whitespace changes
Inline
Side-by-side
TODO
View file @
9a1c5eec
* Document the recent additions (CHANGES + doc).
- API documentation:
present functions in a sensible order
organize them into groups?
use internal hyperlinks
- menhirLib: new functions
find_default_reduction
pop, top, equal, pop_many, get
force_reduction
input_needed
feed (inspection API)
production numbers (production_index, find_production)
current_state_number
MenhirLib.Printers: incompatible type change of print_stack
MenhirLib.ErrorReports: new module
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment