aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* - MAJ entêtes des fichiers produits par coq_makefileGravatar herbelin2007-05-16
* Correction du bug #1509Gravatar notin2007-05-07
* Correction du bug #1496 (ajout de Program Definition et Program Fixpoint aux ...Gravatar notin2007-04-23
* Correction des bugs #1455 et #1456Gravatar notin2007-03-22
* Remove debugging code committed by accidentGravatar lmamane2007-03-22
* A tentative fix for bug #1455Gravatar lmamane2007-03-22
* Add Program keywords to coqwcGravatar msozeau2007-03-08
* Améliorations utiles pour les Makefile répartis sur plusieurs répertoiresGravatar herbelin2007-02-24
* Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in subtac Utils.Gravatar msozeau2007-02-16
* Missing keywordGravatar msozeau2007-02-16
* Add keywords that were missing, notably for terms.Gravatar msozeau2007-02-11
* Coqdoc patch for Program, fix xlate.ml warning and little subtac fixes.Gravatar msozeau2007-01-29
* doc de ringGravatar bgregoir2007-01-24
* coqdep -slashGravatar barras2006-10-25
* Mise en forme des theoriesGravatar notin2006-10-17
* Correction bug #1204 + maj CHANGESGravatar notin2006-10-04
* Warning ocaml 3.09 pour variable inutileGravatar herbelin2006-06-08
* Support des modules dans CoqdocGravatar notin2006-05-26
* Adaptation de Coqdoc au nouveau add_globGravatar notin2006-05-24
* Modification de l'appel à coqdoc (COQBIN)Gravatar notin2006-05-22
* 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