Commit message (Expand) | Author | Age | |
---|---|---|---|
* | On ne peut plus appliquer des arguments à une syntaxe primitive | herbelin | 2001-12-18 |
* | compat ocaml 3.03 | filliatr | 2001-12-13 |
* | Parsing | herbelin | 2001-08-10 |
* | Changements dans le traitement des qualid's | delahaye | 2001-07-19 |
* | Découpage de g_tactic.ml4 en 2 (pour satisfaire les contraintes de la compil... | herbelin | 2001-06-25 |