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
2020-10-30
Renaming Numeral into Number
Pierre Roux
2020-03-25
[parsing] Move comments lexer extensions to base lexer interface
Emilio Jesus Gallego Arias
2020-03-25
[parsing] Move `coq_parsable` custom logic to Grammar.
Emilio Jesus Gallego Arias
2020-03-22
Centralizing all kinds of numeral string management in numTok.ml.
Hugo Herbelin
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2019-04-02
Add parsing of decimal constants (e.g., 1.02e+01)
Pierre Roux
2019-03-31
Multiple payload types in tokens
Pierre Roux
2019-03-31
documentation
Enrico Tassi
2019-03-31
[parsing] add keyword-protected generic quotation
Enrico Tassi
2019-03-31
[parsing] Split Tok.t into Tok.t and Tok.pattern
Enrico Tassi
2019-03-29
[parser] initialization based on Loc.t rather than Loc.source
Enrico Tassi
2018-12-20
Make diffs work for more input strings
Jim Fehrle
2018-11-21
[gramlib] [build] Switch make-based system to packed gramlib
Emilio Jesus Gallego Arias
2018-10-06
[api] Remove (most) 8.9 deprecated objects.
Emilio Jesus Gallego Arias
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
