index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
parsing
/
cLexer.mli
Age
Commit message (
Expand
)
Author
2018-03-05
Merge PR #6855: Update headers following #6543.
Maxime Dénès
2018-02-28
[toplevel] Move beautify to its own pass.
Emilio Jesus Gallego Arias
2018-02-27
Update headers following #6543.
Théo Zimmermann
2018-02-22
Rename release_lexer_state to the more descriptive get_lexer_state.
Jim Fehrle
2017-09-14
Using an algebraic type for distinguishing toplevel input from location in file.
Hugo Herbelin
2017-08-01
[flags] Remove XML output flag.
Emilio Jesus Gallego Arias
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2017-04-07
[camlpX] Remove camlp4 compat layer.
Emilio Jesus Gallego Arias
2016-10-21
Adding a primitive to recover the set of keywords from the lexer.
Pierre-Marie Pédrot
2016-10-17
More on making the lexer more functional (continuing b8ae2de5 and
Hugo Herbelin
2016-10-17
Removing export of location_table outside of cLexer.
Hugo Herbelin
2016-10-09
Moving Pp.comments to CLexer so that Pp is purer (no more side-effect
Hugo Herbelin
2016-10-09
Attaching all extra imperative components of the lexer/parser state to
Hugo Herbelin
2016-08-30
Fix #4941 - ~/.coqrc file confusing locations
Maxime Dénès
2016-06-20
Add file name, line number and beginning of line position to locations.
Maxime Dénès
2016-05-09
Rename Lexer -> CLexer.
Pierre-Marie Pédrot
