aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/compat.ml4
Commit message (Expand)AuthorAge
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* restore handling of lexer errorsGravatar letouzey2010-06-01
* 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
* Discontinue support for ocaml 3.09.*Gravatar letouzey2010-05-19
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - Cleaning (unification of ML names, removal of obsolete code,Gravatar herbelin2009-04-27
* * Adding compability with ocaml 3.10 + camlp5 (rework of Gravatar letouzey2007-09-15
* New bootstrapping, improved, Makefile systemGravatar corbinea2007-07-13
* Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...Gravatar herbelin2005-05-17
* Protection unlocGravatar herbelin2004-07-29
* Utilisation de la variable camlp4 OCAML_308 plutôt que d'en reconstruire un...Gravatar herbelin2004-07-27
* Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06Gravatar herbelin2004-07-17
* Mise en place mécanisme de compatibilité ocaml 3.08Gravatar herbelin2004-07-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 21:53:19 +0000