| Age | Commit message (Expand) | Author |
|---|
| 2016-05-09 | Rename Lexer -> CLexer. | Pierre-Marie Pédrot |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2016-01-15 | Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen. | Maxime Dénès |
| 2015-10-13 | Fix some typos. | Guillaume Melquiond |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2014-10-07 | Fixing #3687 (inconsistent lexer state after a bullet). | Hugo Herbelin |
| 2014-09-08 | Removing dead code relative to the XML plugin. | Pierre-Marie Pédrot |
| 2014-08-12 | Fixing parsing of bullets after a "...". | Hugo Herbelin |
| 2014-08-05 | Uncountably many bullets (+,-,*,++,--,**,+++,...). | Hugo Herbelin |
| 2013-11-03 | empty token in terminal is a user error not an anomaly (bug 3118) | pboutill |
| 2013-09-19 | Get rid of the uses of deprecated OCaml elements (still remaining compatible ... | xclerc |
| 2013-09-02 | * parsing/Lexer: Cosmetics. | regisgia |
| 2013-08-25 | Added a more efficient way to recover the domain of a map. | ppedrot |
| 2013-05-12 | Use the Hook module here and there. | ppedrot |
| 2013-04-23 | Egramcoq+Lexer : no need for an init_function | letouzey |
| 2013-02-18 | Removing Exc_located and using the new exception enrichement | ppedrot |
| 2012-11-25 | Monomorphization (parsing) | ppedrot |
| 2012-11-13 | More monomorphizations | ppedrot |
| 2012-10-06 | still some more dead code removal | letouzey |
| 2012-10-04 | Moved Compat to parsing. This permits to break the dependency of the | ppedrot |
| 2012-09-18 | More cleanup of Util: utf8 aspects moved to a new file unicode.ml | letouzey |
| 2012-09-14 | Moving Utils.list_* to a proper CList module, which includes stdlib | ppedrot |
| 2012-09-14 | The new ocaml compiler (4.00) has a lot of very cool warnings, | regisgia |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-06-22 | Added an indirection with respect to Loc in Compat. As many [open Compat] | ppedrot |
| 2012-06-04 | Fixing previous commit (something strange happened...) | ppedrot |
| 2012-06-04 | Replacing some str with strbrk | ppedrot |
| 2012-04-27 | Partial revert of r15148 in order to compile with Camlp4 | pboutill |
| 2012-04-12 | Remove print call that do not use the pp mechanism | pboutill |
| 2011-08-13 | New fix for is_ident_not_keyword. | herbelin |
| 2011-08-09 | In coqtop, a terminating "." must now be followed by a blank or eof. | letouzey |
| 2011-08-08 | Be a bit less aggressive in declaring idents as keywords in notations | herbelin |
| 2011-04-08 | Made warning about ending comments in string less intrusive so as to support | herbelin |
| 2010-10-17 | About "unsupported" unicode characters in notations. | herbelin |
| 2010-10-11 | Backporting r13521 from branch 8.3 to trunk (fixing bug #2406, looping | herbelin |
| 2010-09-24 | Some dead code removal, thanks to Oug analyzer | letouzey |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-05-19 | Add (almost) compatibility with camlp4, without breaking support for camlp5 | letouzey |
| 2010-05-19 | Nicer representation of tokens, more independant of camlp* | letouzey |
| 2010-05-19 | static (and shared) camlp4use instead of per-file declaration | letouzey |
| 2010-05-12 | Missing warning flush in a lexer message + update of CHANGES | herbelin |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-03-30 | Improving error messages in the presence of utf-8 characters | herbelin |
| 2010-03-04 | Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form) | letouzey |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-09-14 | - Addition of "Reserved Infix" continued. | herbelin |
| 2009-06-29 | Miscellaneous practical commits: | herbelin |
| 2009-05-27 | Ajout d'une fonction Lexer.remove_keyword pour libérer un keyword dans | aspiwack |
| 2009-04-27 | - Cleaning (unification of ML names, removal of obsolete code, | herbelin |
| 2009-01-14 | Fixing #1960 (xml bug with external on goal variable) and #1961 | herbelin |
