Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [flags] Remove XML output flag. | 2017-08-01 | |
* | Bump year in headers. | 2017-07-04 | |
* | [camlpX] Remove camlp4 compat layer. | 2017-04-07 | |
* | Adding a primitive to recover the set of keywords from the lexer. | 2016-10-21 | |
* | More on making the lexer more functional (continuing b8ae2de5 and | 2016-10-17 | |
* | Removing export of location_table outside of cLexer. | 2016-10-17 | |
* | Moving Pp.comments to CLexer so that Pp is purer (no more side-effect | 2016-10-09 | |
* | Attaching all extra imperative components of the lexer/parser state to | 2016-10-09 | |
* | Fix #4941 - ~/.coqrc file confusing locations | 2016-08-30 | |
* | Add file name, line number and beginning of line position to locations. | 2016-06-20 | |
* | Rename Lexer -> CLexer. | 2016-05-09 |