aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/lexer.ml4
Commit message (Expand)AuthorAge
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fixing #3687 (inconsistent lexer state after a bullet).Gravatar Hugo Herbelin2014-10-07
* Removing dead code relative to the XML plugin.Gravatar Pierre-Marie Pédrot2014-09-08
* Fixing parsing of bullets after a "...".Gravatar Hugo Herbelin2014-08-12
* Uncountably many bullets (+,-,*,++,--,**,+++,...).Gravatar Hugo Herbelin2014-08-05
* empty token in terminal is a user error not an anomaly (bug 3118)Gravatar pboutill2013-11-03
* Get rid of the uses of deprecated OCaml elements (still remaining compatible ...Gravatar xclerc2013-09-19
* * parsing/Lexer: Cosmetics.Gravatar regisgia2013-09-02
* Added a more efficient way to recover the domain of a map.Gravatar ppedrot2013-08-25
* Use the Hook module here and there.Gravatar ppedrot2013-05-12
* Egramcoq+Lexer : no need for an init_functionGravatar letouzey2013-04-23
* Removing Exc_located and using the new exception enrichementGravatar ppedrot2013-02-18
* Monomorphization (parsing)Gravatar ppedrot2012-11-25
* More monomorphizationsGravatar ppedrot2012-11-13
* still some more dead code removalGravatar letouzey2012-10-06
* Moved Compat to parsing. This permits to break the dependency of theGravatar ppedrot2012-10-04
* More cleanup of Util: utf8 aspects moved to a new file unicode.mlGravatar letouzey2012-09-18
* Moving Utils.list_* to a proper CList module, which includes stdlibGravatar ppedrot2012-09-14
* The new ocaml compiler (4.00) has a lot of very cool warnings,Gravatar regisgia2012-09-14
* Updating headers.Gravatar herbelin2012-08-08
* Added an indirection with respect to Loc in Compat. As many [open Compat]Gravatar ppedrot2012-06-22
* Fixing previous commit (something strange happened...)Gravatar ppedrot2012-06-04
* Replacing some str with strbrkGravatar ppedrot2012-06-04
* Partial revert of r15148 in order to compile with Camlp4Gravatar pboutill2012-04-27
* Remove print call that do not use the pp mechanismGravatar pboutill2012-04-12
* New fix for is_ident_not_keyword.Gravatar herbelin2011-08-13
* In coqtop, a terminating "." must now be followed by a blank or eof.Gravatar letouzey2011-08-09
* Be a bit less aggressive in declaring idents as keywords in notationsGravatar herbelin2011-08-08
* Made warning about ending comments in string less intrusive so as to supportGravatar herbelin2011-04-08
* About "unsupported" unicode characters in notations.Gravatar herbelin2010-10-17
* Backporting r13521 from branch 8.3 to trunk (fixing bug #2406, loopingGravatar herbelin2010-10-11
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Add (almost) compatibility with camlp4, without breaking support for camlp5Gravatar letouzey2010-05-19
* Nicer representation of tokens, more independant of camlp*Gravatar letouzey2010-05-19
* static (and shared) camlp4use instead of per-file declarationGravatar letouzey2010-05-19
* Missing warning flush in a lexer message + update of CHANGESGravatar herbelin2010-05-12
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Improving error messages in the presence of utf-8 charactersGravatar herbelin2010-03-30
* Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)Gravatar letouzey2010-03-04
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - Addition of "Reserved Infix" continued.Gravatar herbelin2009-09-14
* Miscellaneous practical commits: Gravatar herbelin2009-06-29
* Ajout d'une fonction Lexer.remove_keyword pour libérer un keyword dansGravatar aspiwack2009-05-27
* - Cleaning (unification of ML names, removal of obsolete code,Gravatar herbelin2009-04-27
* Fixing #1960 (xml bug with external on goal variable) and #1961Gravatar herbelin2009-01-14
* Fixed bug in VernacExtend printing + missing vernacular printing rules +Gravatar herbelin2008-11-22
* allowed patternidents starting with an '_'Gravatar amahboub2008-10-31
* The lexer is changer to break former PATTERNIDENT into two tokens.Gravatar amahboub2008-10-30
* Autour du parsing:Gravatar herbelin2008-07-15