aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* Suppression traducteurGravatar herbelin2006-01-11
* Petite modification de la gestion du '.' (jmn)Gravatar coq2006-01-06
* Amelioration de l'elimination des preuves (bugs #1052 et #950-II) (jmn)Gravatar coq2006-01-05
* *** empty log message ***Gravatar coq2006-01-05
* erreur coqdoc + headsepGravatar mohring2005-10-20
* pas besoin de List.length pour savoir si une liste est videGravatar letouzey2005-08-19
* coqdep connait maintenant user-contribGravatar filliatr2005-06-21
* coqwc: AdmittedGravatar filliatr2005-05-31
* 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