Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | diverses modifs pour ocamlweb | 2000-05-03 | ||
* | Ajout du langage de tactiques | 2000-05-03 | ||
* | Suite intégration de constr_pattern | 2000-04-30 | ||
* | Déplacement du type reference dans Term | 2000-04-28 | ||
* | Changement de représentation du contexte des réf dans rawconstr et pattern | 2000-04-28 | ||
* | Introduction d'un type constr_pattern pour les différents filtrages | 2000-04-26 | ||
* | Nouveaux types 'constructor' et 'inductive' dans Term; | 1999-12-15 | ||
* | documentation | 1999-12-13 | ||
* | debuggage inductifs (suite) / compilation Dhyp et Auto (mais pas linkes | 1999-12-07 | ||
* | Auto,Dhyp,Elim / Reduction de Evar / declarations eliminations | 1999-11-24 | ||
* | module Tactics (debut) | 1999-11-22 | ||
* | module Pattern, Wcclausenv (interface) et Tacticals | 1999-11-19 |