aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* This commit corrects the last commit of Hugo that broke down the "make depend"Gravatar sacerdot2005-01-12
* VOFILES aussi pour make dependGravatar herbelin2004-12-09
* Pour ceux qui appelent Makefile avec des fichiers dans des sous-répertoiresGravatar herbelin2004-11-28
* Bug indexation des Require ImportGravatar herbelin2004-08-03
* Nouvelle en-têteGravatar herbelin2004-07-16
* efficacite du lexeurGravatar filliatr2004-06-29
* Suppression documentation option raw-comments qui est vraiment trop ad hoc po...Gravatar herbelin2004-04-13
* A few changes backtracked:Gravatar sacerdot2004-04-07
* 1. In -html mode the generated files are well-formed XML filesGravatar sacerdot2004-04-06
* echappement de <, > et & en HTMLGravatar filliatr2004-04-06
* tools/coq_vo2xml removed since no longer in use.Gravatar sacerdot2004-03-29
* "xml" target removed from generated makefiles (since it was no longer used)Gravatar sacerdot2004-03-29
* MAJGravatar kirchner2004-03-29
* Ajout option raw-comments pour supprimer affichage de <table>Gravatar herbelin2004-03-26
* Ajout option raw-comments pour supprimer affichage de <table>; typosGravatar herbelin2004-03-26
* MAJ mot-clesGravatar herbelin2004-03-26
* Bug <BR>; ajout option raw_comment pas d'affichage de <table>; MAJ mot-clesGravatar herbelin2004-03-26
* suppression du ./ devant (et .\ sous Windows)Gravatar filliatr2004-03-17
* application patch de Lionel Elie Mamane pour option -R et chemins relatifs/ab...Gravatar filliatr2004-03-16
* identification ./f et f dans coqdep -sortGravatar filliatr2004-03-15
* ParametersGravatar filliatr2004-03-15
* ocaml 3.07 -> 3.06Gravatar filliatr2004-03-01
* *** empty log message ***Gravatar filliatr2004-02-27
* indexation Record / bug gallina sur := en V8Gravatar filliatr2004-02-25
* *** empty log message ***Gravatar filliatr2004-02-24
* coqdocGravatar filliatr2004-02-24
* - fixed the Assert_failure error in kernel/modopsGravatar barras2004-02-18
* option -n de coq-texGravatar marche2003-12-12
* Nouvelle version qui compile dans un sous-repertoire avant d'ecraser le reper...Gravatar herbelin2003-12-11
* 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