Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | nouvel algo de conversion plus uniforme | 2001-11-29 | ||
* | Suppression des local_constraints, des ctxtty et du focus. | 2001-11-06 | ||
* | GROS COMMIT: | 2001-11-05 | ||
* | Nettoyage reduce_to_ind et one_step_reduce | 2001-09-09 | ||
* | amelioration des messages d'erreurs vis a vis des evars | 2001-05-23 | ||
* | entetes | 2001-03-15 | ||
* | Mise en place de la possibilite d'unfolder des variables locales et des const... | 2001-01-31 | ||
* | syntaxe AST Inversion + commentaires ocamlweb autour de $ | 2000-12-12 | ||
* | Minor correction for Ocamlweb + doc update | 2000-09-14 | ||
* | Déplacement de fonctions de Reduction vers Tacred | 2000-09-14 | ||
* | Nouveaux types 'constructor' et 'inductive' dans Term; | 1999-12-15 | ||
* | - états fabriqués avec -silent | 1999-12-13 | ||
* | modifs pour premiere edition de liens | 1999-12-02 |