Commit message (Expand) | Author | Age | |
---|---|---|---|
* | BIG MAJ Extraction: | 2003-04-16 | |
* | Extraction des modules, enfin ! | 2003-01-22 | |
* | debut de parcours des modules | 2002-12-13 | |
* | code cleanup (+ debut de commencement de modules) | 2002-12-05 | |
* | Réforme de l'interprétation des termes : | 2002-11-14 | |
* | Modules dans COQ\!\!\!\! | 2002-08-02 | |
* | Gros Remaniement Extraction: | 2002-07-16 | |
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | 2002-05-29 | |
* | rollback sur les commandes Extract Constant/Inductive; nettoyage et documenta... | 2001-04-04 | |
* | changement type_var et signature | 2001-03-28 | |
* | extraction recursive d'un morceau d'environnement | 2001-03-27 |