aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/compat.ml4
Commit message (Expand)AuthorAge
* 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