aboutsummaryrefslogtreecommitdiff
path: root/lib/compat.ml4
AgeCommit message (Expand)Author
2010-05-19Add (almost) compatibility with camlp4, without breaking support for camlp5letouzey
2010-05-19Nicer representation of tokens, more independant of camlp*letouzey
2010-05-19static (and shared) camlp4use instead of per-file declarationletouzey
2010-05-19Discontinue support for ocaml 3.09.*letouzey
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-04-27- Cleaning (unification of ML names, removal of obsolete code,herbelin
2007-09-15* Adding compability with ocaml 3.10 + camlp5 (rework of letouzey
2007-07-13New bootstrapping, improved, Makefile systemcorbinea
2005-05-17Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...herbelin
2004-07-29Protection unlocherbelin
2004-07-27Utilisation de la variable camlp4 OCAML_308 plutôt que d'en reconstruire un...herbelin
2004-07-17Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06herbelin
2004-07-16Mise en place mécanisme de compatibilité ocaml 3.08herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 15:27:47 +0000