aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/cLexer.mli
Commit message (Expand)AuthorAge
* Using an algebraic type for distinguishing toplevel input from location in file.Gravatar Hugo Herbelin2017-09-14
* [flags] Remove XML output flag.Gravatar Emilio Jesus Gallego Arias2017-08-01
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [camlpX] Remove camlp4 compat layer.Gravatar Emilio Jesus Gallego Arias2017-04-07
* Adding a primitive to recover the set of keywords from the lexer.Gravatar Pierre-Marie Pédrot2016-10-21
* More on making the lexer more functional (continuing b8ae2de5 andGravatar Hugo Herbelin2016-10-17
* Removing export of location_table outside of cLexer.Gravatar Hugo Herbelin2016-10-17
* Moving Pp.comments to CLexer so that Pp is purer (no more side-effectGravatar Hugo Herbelin2016-10-09
* Attaching all extra imperative components of the lexer/parser state toGravatar Hugo Herbelin2016-10-09
* Fix #4941 - ~/.coqrc file confusing locationsGravatar Maxime Dénès2016-08-30
* Add file name, line number and beginning of line position to locations.Gravatar Maxime Dénès2016-06-20
* Rename Lexer -> CLexer.Gravatar Pierre-Marie Pédrot2016-05-09