aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* MAJ OTHERFLAGSGravatar herbelin2003-11-10
* Ajout option -impredicative-setGravatar herbelin2003-11-08
* Passage options via COQFLAGS plutot que OPTGravatar herbelin2003-09-24
* Outil de test de la traduction et de la compilation en v8 sans modification desGravatar herbelin2003-09-12
* Message pour les erreursGravatar herbelin2003-09-12
* typoGravatar narboux2003-09-10
* affichage de la nature des colonnesGravatar filliatr2003-09-05
* coqwcGravatar filliatr2003-09-05
* Bug et amliorations diversesGravatar herbelin2003-08-12
* Outils de traductionGravatar herbelin2003-08-11
* rm -f .depend (sans le -f "make depend" echoue lorsque le .dependGravatar filliatr2003-07-02
* Modif de coq-tex - meilleur affichage des suite de coq_example'sGravatar coq2003-05-13
* 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
* prise en compte des sous-repertoires Coq de maniere dynamiqueGravatar filliatr2003-02-14
* mdule --> moduleGravatar mohring2002-12-04
* fichiers DOSGravatar filliatr2002-12-04
* Bug de coqdep qui n'acceptait pas les fichiers DOS (cf Binome.v)Gravatar letouzey2002-11-15
* 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
* commit du calcul des dependances un peu plus robusteGravatar barras2002-10-15
* gestion coherente de l'option -R et des Require A.B.C.Gravatar barras2002-10-10
* backslahs foireuxGravatar filliatr2002-10-01
* Filtrage redondantGravatar herbelin2002-09-27
* Un peu plus de flexibilité pour la position du '.' finalGravatar herbelin2002-09-16
* 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
* coq-inferior, by Marco MaggesiGravatar filliatr2002-04-15
* meilleure gestion du point terminalGravatar filliatr2002-04-04
* bootstrap consistent avec les options de la ligne de commandeGravatar filliatr2002-02-15
* reparation du make depend et du .dependGravatar letouzey2001-12-19
* Encapsulage des '<' et '>' pour éviter le regroupement '«'Gravatar herbelin2001-10-02
* la cible all était incomplèteGravatar filliatr2001-09-19
* make install dans coq_makefile et repertoire associe user-contrib ajoute au l...Gravatar filliatr2001-09-19
* prise en compte de Load par coqdepGravatar filliatr2001-08-31
* "make clean" nettoie les .g all.ps all-gal.ps et les fichiers HTMLGravatar filliatr2001-07-17
* all.g.ps -> all-gal.psGravatar filliatr2001-07-16
* compat -sort et -suffixGravatar filliatr2001-07-16
* cibles all.ps et all-gal.ps (utilisation de coqweb)Gravatar filliatr2001-07-16
* utilisation de printf (simplif)Gravatar filliatr2001-07-16
* plus besoin de separer les ?Gravatar barras2001-06-13
* Chgt de MAKE= ...Gravatar letouzey2001-05-29
* option -byteGravatar filliatr2001-05-28
* application patch ClaudioGravatar filliatr2001-05-11
* - Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.byteGravatar courant2001-04-25
* patch Claudio pour coq_makefileGravatar filliatr2001-04-23
* Hints.... added next to Hint....Gravatar coq2001-04-20