Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Intégration des modifs de la branche mowgli : | 2002-11-05 | |
* | Filtrage redondant | 2002-09-27 | |
* | Modules dans COQ\!\!\!\! | 2002-08-02 | |
* | coq_makefile utilise maintenant coqdoc | 2002-06-18 | |
* | Ajout des -I contrib | 2002-05-30 | |
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | 2002-05-29 | |
* | bootstrap consistent avec les options de la ligne de commande | 2002-02-15 | |
* | reparation du make depend et du .depend | 2001-12-19 |