index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
parsing
/
cLexer.ml4
Commit message (
Expand
)
Author
Age
*
Extra warning about unicode character of unknown status following an ident.
Hugo Herbelin
2016-10-17
*
Fixing a few other inconsistencies with notations.
Hugo Herbelin
2016-10-17
*
Stopping warning on unrecognized unicode character in notation (fixing #5136).
Hugo Herbelin
2016-10-17
*
[toplevel] Remove duplicate beautify flags.
Emilio Jesus Gallego Arias
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-17
*
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-10-09
*
Revert "Move bullet detection from lexer to parser (bug #5102)."
Guillaume Melquiond
2016-10-05
*
Move bullet detection from lexer to parser (bug #5102).
Guillaume Melquiond
2016-10-02
*
Fix #4941 - ~/.coqrc file confusing locations
Maxime Dénès
2016-08-30
*
Remove lexing of ordinal notations.
Maxime Dénès
2016-07-03
*
A new infrastructure for warnings.
Maxime Dénès
2016-06-29
*
Add file name, line number and beginning of line position to locations.
Maxime Dénès
2016-06-20
*
Feedback cleanup
Emilio Jesus Gallego Arias
2016-05-31
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-05-09
*
Rename Lexer -> CLexer.
Pierre-Marie Pédrot
2016-05-09