Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Renommage CMeta en CPatVar qui sert à saisir les PMeta de Pattern | 2003-05-19 | |
* | Noms absolus | 2003-03-31 | |
* | Ajout Simpl et Change sur des sous-termes | 2002-12-09 | |
* | Réforme de l'interprétation des termes : | 2002-11-14 | |
* | Modules dans COQ\!\!\!\! | 2002-08-02 | |
* | Protection des tactiques contre l'utilisation sans le bon contexte de thories | 2002-06-03 | |
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | 2002-05-29 | |
* | Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.v | 2002-05-29 | |
* | un thm de plus dans Zdiv; un retour chariot apres un message de la tactique F... | 2002-04-19 | |
* | GROS COMMIT: | 2001-11-05 | |
* | Suppression des arguments sur les constantes, inductifs et constructeurs | 2001-10-09 | |
* | integration de field a fourier | 2001-05-07 | |
* | Ajout Fourier | 2001-04-20 |