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