aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* Option --coqlib_path pour coqdoc (suite et fin)Gravatar notin2006-05-02
* Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ...Gravatar notin2006-05-02
* git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8762 85f007b7-540e-04...Gravatar notin2006-04-28
* Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...Gravatar notin2006-04-28
* Ajout de la doc de l'option -stdout de coqdocGravatar notin2006-04-27
* MAJGravatar herbelin2006-04-26
* Outil de test de la réversibilité du réafficheur v8->v8Gravatar herbelin2006-04-26
* Prise en compte du Require multipleGravatar herbelin2006-04-26
* Correction d'un bug dans coqdoc sur l'utilisation de l'option -o et la créat...Gravatar notin2006-04-26
* - correction d'un bug dans coqdoc (multi_index)Gravatar notin2006-03-28
* Correction d'un bug dans Coqdoc (indentation & mots clés)Gravatar notin2006-03-27
* r8709@thot: notin | 2006-03-25 01:48:46 +0100Gravatar notin2006-03-25
* r8686@thot: notin | 2006-03-20 19:29:09 +0100Gravatar notin2006-03-25
* Modification des propriétés (svn:executable)Gravatar notin2006-03-17
* r8636@thot: notin | 2006-03-14 15:57:11 +0100Gravatar notin2006-03-14
* r8620@thot: notin | 2006-03-08 11:44:16 +0100Gravatar notin2006-03-08
* Ajout de l'essai d'effacement des noms des cibles custom par la cible cleanGravatar herbelin2006-02-06
* 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