| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2008-11-22 | Fixed bug in VernacExtend printing + missing vernacular printing rules + | herbelin |
| 2008-10-31 | allowed patternidents starting with an '_' | amahboub |
| 2008-10-30 | The lexer is changer to break former PATTERNIDENT into two tokens. | amahboub |
| 2008-07-15 | Autour du parsing: | herbelin |
| 2008-06-06 | Correction terminologie et ajout plage unicode 1D400-1D7FF (mathematical | herbelin |
| 2008-04-14 | Diverses corrections | herbelin |
| 2008-04-13 | Bugs, nettoyage, et améliorations diverses | herbelin |
| 2008-04-05 | Minor fixes: | msozeau |
| 2008-02-18 | Ajout de caractères unicode reconnus apr le lexer | notin |
