aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/coq_makefile.ml4
Commit message (Expand)AuthorAge
* on sait se refaire uniquement si option -fGravatar filliatr2003-02-24
* coq_makefile dit comment faire le .depend (evite l'echec lorsqueGravatar filliatr2003-02-24
* bugsGravatar herbelin2002-11-14
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Intégration des modifs de la branche mowgli :Gravatar herbelin2002-11-05
* Filtrage redondantGravatar herbelin2002-09-27
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* coq_makefile utilise maintenant coqdocGravatar filliatr2002-06-18
* Ajout des -I contribGravatar herbelin2002-05-30
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* bootstrap consistent avec les options de la ligne de commandeGravatar filliatr2002-02-15
* reparation du make depend et du .dependGravatar letouzey2001-12-19