aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2007-05-16- MAJ entêtes des fichiers produits par coq_makefileherbelin
2007-05-07Correction du bug #1509notin
2007-04-23Correction du bug #1496 (ajout de Program Definition et Program Fixpoint aux ...notin
2007-03-22Correction des bugs #1455 et #1456notin
2007-03-22Remove debugging code committed by accidentlmamane
2007-03-22A tentative fix for bug #1455lmamane
2007-03-08Add Program keywords to coqwcmsozeau
2007-02-24Améliorations utiles pour les Makefile répartis sur plusieurs répertoiresherbelin
2007-02-16Add subtac keywords to coqide and coqdoc, add 'dec' as keyword in subtac Utils.msozeau
2007-02-16Missing keywordmsozeau
2007-02-11Add keywords that were missing, notably for terms.msozeau
2007-01-29Coqdoc patch for Program, fix xlate.ml warning and little subtac fixes.msozeau
2007-01-24doc de ringbgregoir
2006-10-25coqdep -slashbarras
2006-10-17Mise en forme des theoriesnotin
2006-10-04Correction bug #1204 + maj CHANGESnotin
2006-06-08Warning ocaml 3.09 pour variable inutileherbelin
2006-05-26Support des modules dans Coqdocnotin
2006-05-24Adaptation de Coqdoc au nouveau add_globnotin
2006-05-22Modification de l'appel à coqdoc (COQBIN)notin
2006-05-02Option --coqlib_path pour coqdoc (suite et fin)notin
2006-05-02Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ...notin
2006-04-28git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8762 85f007b7-540e-04...notin
2006-04-28Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...notin
2006-04-27Ajout de la doc de l'option -stdout de coqdocnotin
2006-04-26MAJherbelin
2006-04-26Outil de test de la réversibilité du réafficheur v8->v8herbelin
2006-04-26Prise en compte du Require multipleherbelin
2006-04-26Correction d'un bug dans coqdoc sur l'utilisation de l'option -o et la créat...notin
2006-03-28- correction d'un bug dans coqdoc (multi_index)notin
2006-03-27Correction d'un bug dans Coqdoc (indentation & mots clés)notin
2006-03-25 r8709@thot: notin | 2006-03-25 01:48:46 +0100notin
2006-03-25 r8686@thot: notin | 2006-03-20 19:29:09 +0100notin
2006-03-17Modification des propriétés (svn:executable)notin
2006-03-14 r8636@thot: notin | 2006-03-14 15:57:11 +0100notin
2006-03-08 r8620@thot: notin | 2006-03-08 11:44:16 +0100notin
2006-02-06Ajout de l'essai d'effacement des noms des cibles custom par la cible cleanherbelin
2006-01-11Suppression traducteurherbelin
2006-01-06Petite modification de la gestion du '.' (jmn)coq
2006-01-05Amelioration de l'elimination des preuves (bugs #1052 et #950-II) (jmn)coq
2006-01-05*** empty log message ***coq
2005-10-20erreur coqdoc + headsepmohring
2005-08-19pas besoin de List.length pour savoir si une liste est videletouzey
2005-06-21coqdep connait maintenant user-contribfilliatr
2005-05-31coqwc: Admittedfilliatr
2005-01-12This commit corrects the last commit of Hugo that broke down the "make depend"sacerdot
2004-12-09VOFILES aussi pour make dependherbelin
2004-11-28Pour ceux qui appelent Makefile avec des fichiers dans des sous-répertoiresherbelin
2004-08-03Bug indexation des Require Importherbelin
2004-07-16Nouvelle en-têteherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:17:59 +0000