aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/compat.ml4
Commit message (Expand)AuthorAge
* Fix compilation with camlp5 (Closes: #2487)Gravatar glondu2011-01-25
* Avoid "open {Pcoq,Extrawit}" clauses in expansion of EXTEND commandsGravatar glondu2010-12-25
* Use !Pp_control.std_ft for printing grammarsGravatar glondu2010-12-06
* adapt slighlty r13642 to support both camlp4 and camlp5-5 and camlp5-6Gravatar letouzey2010-11-18
* Support for camlp5 6.02.0 (Closes: #2432)Gravatar glondu2010-11-16
* 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-07-01 19:00:11 +0000