Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Ground Update. | 2003-06-20 | ||
* | Ground and CCsolve updates | 2003-05-25 | ||
* | Restructuration des procédures de filtrage | 2003-05-19 | ||
* | Added the Ground tactic. | 2003-04-25 | ||
* | Correction of a bug in Intuition (no more decomposition of dependent pairs). | 2002-05-22 | ||
* | eclaircissement du code | 2001-09-13 | ||
* | entetes | 2001-03-15 | ||
* | Centralisation des références à des globaux de Coq dans Coqlib (ex-Stdlib)... | 2001-02-14 | ||
* | syntaxe AST Inversion + commentaires ocamlweb autour de $ | 2000-12-12 | ||
* | diverses modifs pour ocamlweb | 2000-05-03 | ||
* | Ajout get_reference | 2000-05-03 | ||
* | Suite intégration de constr_pattern | 2000-04-30 | ||
* | Decoupage de tactics/pattern en proofs/pattern et tactics/hipattern | 2000-04-28 |