Commit message (Expand) | Author | Age | |
---|---|---|---|
* | eclaircissement du code | courant | 2001-09-13 |
* | entetes | filliatr | 2001-03-15 |
* | Centralisation des références à des globaux de Coq dans Coqlib (ex-Stdlib)... | herbelin | 2001-02-14 |
* | syntaxe AST Inversion + commentaires ocamlweb autour de $ | filliatr | 2000-12-12 |
* | diverses modifs pour ocamlweb | filliatr | 2000-05-03 |
* | Ajout get_reference | herbelin | 2000-05-03 |
* | Suite intégration de constr_pattern | herbelin | 2000-04-30 |
* | Decoupage de tactics/pattern en proofs/pattern et tactics/hipattern | herbelin | 2000-04-28 |