aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/compat.ml4
Commit message (Expand)AuthorAge
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-18
|\
| * More on making the lexer more functional (continuing b8ae2de5 andGravatar Hugo Herbelin2016-10-17
| * Fix compilation with camlp4 broken in 8a8caba3.Gravatar Hugo Herbelin2016-10-17
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-12
|\|
| * Attaching all extra imperative components of the lexer/parser state toGravatar Hugo Herbelin2016-10-09
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-05
|\|
| * Revert "Move bullet detection from lexer to parser (bug #5102)."Gravatar Guillaume Melquiond2016-10-05
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2016-10-02
|\|
| * Move bullet detection from lexer to parser (bug #5102).Gravatar Guillaume Melquiond2016-10-02
* | Fix CAMLP4 compilation.Gravatar Pierre-Marie Pédrot2016-09-14
* | Unify location handling of error functions.Gravatar Emilio Jesus Gallego Arias2016-08-19
|/
* Remove lexing of ordinal notations.Gravatar Maxime Dénès2016-07-03
* Parsing/compat.ml4: avoid "let open" syntax, unsupported by my camlp5 6.11Gravatar Pierre Letouzey2016-06-21
* Add file name, line number and beginning of line position to locations.Gravatar Maxime Dénès2016-06-20
* Set required version of camlp5 to 6.06.Gravatar Maxime Dénès2016-06-17
* Removing dead code in Compat.Gravatar Pierre-Marie Pédrot2016-05-10
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-05-09
|\
| * Rename Lexer -> CLexer.Gravatar Pierre-Marie Pédrot2016-05-09
* | Removing dead code in Compat.Gravatar Pierre-Marie Pédrot2016-04-25
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-04-24
|\|
| * A fix to #4666 (Exc_located capsule added by camlp5 overwritingGravatar Hugo Herbelin2016-04-12
* | Fixing bug #4610: Fails to build with camlp4 since the TACTIC EXTEND move.Gravatar Pierre-Marie Pédrot2016-03-06
* | Removing the METAIDENT token, as it is not used anymore.Gravatar Pierre-Marie Pédrot2016-02-24
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Fixing non exhaustive pattern-matching in 003fe3d5e60b.Gravatar Hugo Herbelin2015-12-25
* | Removing the dependencies of Pcoq in IFDEF macros.Gravatar Pierre-Marie Pédrot2015-10-21
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fixing CAMLP4 compilation.Gravatar Pierre-Marie Pédrot2014-12-16
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* Fixing Camlp4 compilation.Gravatar ppedrot2013-06-30
* Removing Exc_located and using the new exception enrichementGravatar ppedrot2013-02-18
* Avoiding collision between Camlp4 Loc.Exc_located and Coq's Loc.Exc_located.Gravatar herbelin2012-12-22
* Early translation of camlp4/camlp5 located errors into coq-locatedGravatar herbelin2012-12-04
* restore compatibility with camlp5 < 6.00Gravatar letouzey2012-10-06
* Moved Compat to parsing. This permits to break the dependency of theGravatar ppedrot2012-10-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 05:01:14 +0000