Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ajout option -impredicative-set | 2003-11-08 | |
* | rm -f .depend (sans le -f "make depend" echoue lorsque le .depend | 2003-07-02 | |
* | on sait se refaire uniquement si option -f | 2003-02-24 | |
* | coq_makefile dit comment faire le .depend (evite l'echec lorsque | 2003-02-24 | |
* | bugs | 2002-11-14 | |
* | Réforme de l'interprétation des termes : | 2002-11-14 | |
* | 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 |