Commit message (Expand) | Author | Age | |
---|---|---|---|
* | * Adding compability with ocaml 3.10 + camlp5 (rework of | 2007-09-15 | |
* | New bootstrapping, improved, Makefile system | 2007-07-13 | |
* | Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux... | 2005-05-17 | |
* | Protection unloc | 2004-07-29 | |
* | Utilisation de la variable camlp4 OCAML_308 plutôt que d'en reconstruire un... | 2004-07-27 | |
* | Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06 | 2004-07-17 | |
* | Mise en place mécanisme de compatibilité ocaml 3.08 | 2004-07-16 |