| Commit message (Expand) | Author | Age |
* | Making the EXTEND macros almost self-contained. | Pierre-Marie Pédrot | 2016-03-18 |
* | Removing the METAIDENT token, as it is not used anymore. | Pierre-Marie Pédrot | 2016-02-24 |
* | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2016-01-21 |
|\ |
|
| * | Update copyright headers. | Maxime Dénès | 2016-01-20 |
| * | Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen. | Maxime Dénès | 2016-01-15 |
* | | Continuing 003fe3d5e on parsing positions. | Hugo Herbelin | 2016-01-14 |
* | | Adding a token "index" representing positions (1st, 2nd, etc.). | Hugo Herbelin | 2015-12-15 |
* | | Expliciting some uses of Compat module. | Pierre-Marie Pédrot | 2015-10-21 |
|/ |
|
* | Fix some typos. | Guillaume Melquiond | 2015-10-13 |
* | Update headers. | Maxime Dénès | 2015-01-12 |
* | Fixing #3687 (inconsistent lexer state after a bullet). | Hugo Herbelin | 2014-10-07 |
* | Removing dead code relative to the XML plugin. | Pierre-Marie Pédrot | 2014-09-08 |
* | Fixing parsing of bullets after a "...". | Hugo Herbelin | 2014-08-12 |
* | Uncountably many bullets (+,-,*,++,--,**,+++,...). | Hugo Herbelin | 2014-08-05 |
* | empty token in terminal is a user error not an anomaly (bug 3118) | pboutill | 2013-11-03 |
* | Get rid of the uses of deprecated OCaml elements (still remaining compatible ... | xclerc | 2013-09-19 |
* | * parsing/Lexer: Cosmetics. | regisgia | 2013-09-02 |
* | Added a more efficient way to recover the domain of a map. | ppedrot | 2013-08-25 |
* | Use the Hook module here and there. | ppedrot | 2013-05-12 |
* | Egramcoq+Lexer : no need for an init_function | letouzey | 2013-04-23 |
* | Removing Exc_located and using the new exception enrichement | ppedrot | 2013-02-18 |
* | Monomorphization (parsing) | ppedrot | 2012-11-25 |
* | More monomorphizations | ppedrot | 2012-11-13 |
* | still some more dead code removal | letouzey | 2012-10-06 |
* | Moved Compat to parsing. This permits to break the dependency of the | ppedrot | 2012-10-04 |
* | More cleanup of Util: utf8 aspects moved to a new file unicode.ml | letouzey | 2012-09-18 |
* | 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-09-14 |
* | Updating headers. | herbelin | 2012-08-08 |
* | Added an indirection with respect to Loc in Compat. As many [open Compat] | ppedrot | 2012-06-22 |
* | Fixing previous commit (something strange happened...) | ppedrot | 2012-06-04 |
* | Replacing some str with strbrk | ppedrot | 2012-06-04 |
* | Partial revert of r15148 in order to compile with Camlp4 | pboutill | 2012-04-27 |
* | Remove print call that do not use the pp mechanism | pboutill | 2012-04-12 |
* | New fix for is_ident_not_keyword. | herbelin | 2011-08-13 |
* | In coqtop, a terminating "." must now be followed by a blank or eof. | letouzey | 2011-08-09 |
* | Be a bit less aggressive in declaring idents as keywords in notations | herbelin | 2011-08-08 |
* | Made warning about ending comments in string less intrusive so as to support | herbelin | 2011-04-08 |
* | About "unsupported" unicode characters in notations. | herbelin | 2010-10-17 |
* | Backporting r13521 from branch 8.3 to trunk (fixing bug #2406, looping | herbelin | 2010-10-11 |
* | Some dead code removal, thanks to Oug analyzer | letouzey | 2010-09-24 |
* | Updated all headers for 8.3 and trunk | herbelin | 2010-07-24 |
* | 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-19 |
* | Missing warning flush in a lexer message + update of CHANGES | herbelin | 2010-05-12 |
* | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
* | Improving error messages in the presence of utf-8 characters | herbelin | 2010-03-30 |
* | Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form) | letouzey | 2010-03-04 |
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |