aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Collapse)AuthorAge
* - correction d'un bug dans coqdoc (multi_index)Gravatar notin2006-03-28
| | | | | | | - modif. de la génération de la doc de stdlib git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8669 85f007b7-540e-0410-9357-904b9bb8a0f7
* Correction d'un bug dans Coqdoc (indentation & mots clés)Gravatar notin2006-03-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8666 85f007b7-540e-0410-9357-904b9bb8a0f7
* r8709@thot: notin | 2006-03-25 01:48:46 +0100Gravatar notin2006-03-25
| | | | | | | | - Ajout de FSets dans la doc de stdlib - coqdoc copie la feuille de style dans le répertoire courant git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8663 85f007b7-540e-0410-9357-904b9bb8a0f7
* r8686@thot: notin | 2006-03-20 19:29:09 +0100Gravatar notin2006-03-25
| | | | | | | Correction d'un bug dans Coqdoc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8661 85f007b7-540e-0410-9357-904b9bb8a0f7
* Modification des propriétés (svn:executable)Gravatar notin2006-03-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8642 85f007b7-540e-0410-9357-904b9bb8a0f7
* r8636@thot: notin | 2006-03-14 15:57:11 +0100Gravatar notin2006-03-14
| | | | | | | Correction de bugs de Coqdoc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8625 85f007b7-540e-0410-9357-904b9bb8a0f7
* r8620@thot: notin | 2006-03-08 11:44:16 +0100Gravatar notin2006-03-08
| | | | | | | | | | | | | | Modifications diverses de Coqdoc: - modification du comportement par défaut de l'option --latex - ajout d'une option --stdout - réaménagement dans les sources (création de global.ml) - modification du parser de coqdoc pour regler les problèmes liés à  la syntaxe V8. - Correction du bug #1052 sur les commentaires en fin de ligne git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8617 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout de l'essai d'effacement des noms des cibles custom par la cible cleanGravatar herbelin2006-02-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7994 85f007b7-540e-0410-9357-904b9bb8a0f7
* Suppression traducteurGravatar herbelin2006-01-11
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7846 85f007b7-540e-0410-9357-904b9bb8a0f7
* Petite modification de la gestion du '.' (jmn)Gravatar coq2006-01-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7807 85f007b7-540e-0410-9357-904b9bb8a0f7
* Amelioration de l'elimination des preuves (bugs #1052 et #950-II) (jmn)Gravatar coq2006-01-05
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7799 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar coq2006-01-05
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7797 85f007b7-540e-0410-9357-904b9bb8a0f7
* erreur coqdoc + headsepGravatar mohring2005-10-20
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7456 85f007b7-540e-0410-9357-904b9bb8a0f7
* pas besoin de List.length pour savoir si une liste est videGravatar letouzey2005-08-19
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7306 85f007b7-540e-0410-9357-904b9bb8a0f7
* coqdep connait maintenant user-contribGravatar filliatr2005-06-21
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7158 85f007b7-540e-0410-9357-904b9bb8a0f7
* coqwc: AdmittedGravatar filliatr2005-05-31
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7095 85f007b7-540e-0410-9357-904b9bb8a0f7
* This commit corrects the last commit of Hugo that broke down the "make depend"Gravatar sacerdot2005-01-12
| | | | | | | command. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6578 85f007b7-540e-0410-9357-904b9bb8a0f7
* VOFILES aussi pour make dependGravatar herbelin2004-12-09
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6444 85f007b7-540e-0410-9357-904b9bb8a0f7
* Pour ceux qui appelent Makefile avec des fichiers dans des sous-répertoiresGravatar herbelin2004-11-28
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6365 85f007b7-540e-0410-9357-904b9bb8a0f7
* Bug indexation des Require ImportGravatar herbelin2004-08-03
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6006 85f007b7-540e-0410-9357-904b9bb8a0f7
* Nouvelle en-têteGravatar herbelin2004-07-16
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5920 85f007b7-540e-0410-9357-904b9bb8a0f7
* efficacite du lexeurGravatar filliatr2004-06-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5847 85f007b7-540e-0410-9357-904b9bb8a0f7
* Suppression documentation option raw-comments qui est vraiment trop ad hoc ↵Gravatar herbelin2004-04-13
| | | | | | pour l'export XML des .v git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5669 85f007b7-540e-0410-9357-904b9bb8a0f7
* A few changes backtracked:Gravatar sacerdot2004-04-07
| | | | | | | | | | | | 1. HTML special characters are no longer quoted inside # ... #. 2. ^ ... ^ mode removed. This backtrack makes the HTML generated from CoRN .v files invalid again, since there are '&', '<' and '>' characters inside # ... #. The CoRN stuff agreed to change their .v files accordingly. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5650 85f007b7-540e-0410-9357-904b9bb8a0f7
* 1. In -html mode the generated files are well-formed XML filesGravatar sacerdot2004-04-06
| | | | | | | | | | | | (i.e. the output is no longer HTML but (X)HTML) 2. Added (** ^ ... ^ *) to output verbatim characters that are NOT quoted (whereas (** # ... # *) and all the other similar marks do quote the characters according to the output language quoting conventions). 3. Added ^^ to output a single '^' character git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5647 85f007b7-540e-0410-9357-904b9bb8a0f7
* echappement de <, > et & en HTMLGravatar filliatr2004-04-06
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5639 85f007b7-540e-0410-9357-904b9bb8a0f7
* tools/coq_vo2xml removed since no longer in use.Gravatar sacerdot2004-03-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5603 85f007b7-540e-0410-9357-904b9bb8a0f7
* "xml" target removed from generated makefiles (since it was no longer used)Gravatar sacerdot2004-03-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5602 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJGravatar kirchner2004-03-29
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5601 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout option raw-comments pour supprimer affichage de <table>Gravatar herbelin2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5580 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout option raw-comments pour supprimer affichage de <table>; typosGravatar herbelin2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5579 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ mot-clesGravatar herbelin2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5578 85f007b7-540e-0410-9357-904b9bb8a0f7
* Bug <BR>; ajout option raw_comment pas d'affichage de <table>; MAJ mot-clesGravatar herbelin2004-03-26
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5577 85f007b7-540e-0410-9357-904b9bb8a0f7
* suppression du ./ devant (et .\ sous Windows)Gravatar filliatr2004-03-17
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5522 85f007b7-540e-0410-9357-904b9bb8a0f7
* application patch de Lionel Elie Mamane pour option -R et chemins ↵Gravatar filliatr2004-03-16
| | | | | | relatifs/absolus git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5504 85f007b7-540e-0410-9357-904b9bb8a0f7
* identification ./f et f dans coqdep -sortGravatar filliatr2004-03-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5483 85f007b7-540e-0410-9357-904b9bb8a0f7
* ParametersGravatar filliatr2004-03-15
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5482 85f007b7-540e-0410-9357-904b9bb8a0f7
* ocaml 3.07 -> 3.06Gravatar filliatr2004-03-01
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5402 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar filliatr2004-02-27
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5389 85f007b7-540e-0410-9357-904b9bb8a0f7
* indexation Record / bug gallina sur := en V8Gravatar filliatr2004-02-25
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5382 85f007b7-540e-0410-9357-904b9bb8a0f7
* *** empty log message ***Gravatar filliatr2004-02-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5378 85f007b7-540e-0410-9357-904b9bb8a0f7
* coqdocGravatar filliatr2004-02-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5377 85f007b7-540e-0410-9357-904b9bb8a0f7
* - fixed the Assert_failure error in kernel/modopsGravatar barras2004-02-18
| | | | | | | | | - fixed the problem with passing atomic tactics to ltacs - restructured the distrib Makefile (can build a package from the CVS working dir) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5358 85f007b7-540e-0410-9357-904b9bb8a0f7
* option -n de coq-texGravatar marche2003-12-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5090 85f007b7-540e-0410-9357-904b9bb8a0f7
* Nouvelle version qui compile dans un sous-repertoire avant d'ecraser le ↵Gravatar herbelin2003-12-11
| | | | | | repertoire courant git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5087 85f007b7-540e-0410-9357-904b9bb8a0f7
* MAJ OTHERFLAGSGravatar herbelin2003-11-10
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4854 85f007b7-540e-0410-9357-904b9bb8a0f7
* Ajout option -impredicative-setGravatar herbelin2003-11-08
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4829 85f007b7-540e-0410-9357-904b9bb8a0f7
* Passage options via COQFLAGS plutot que OPTGravatar herbelin2003-09-24
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4472 85f007b7-540e-0410-9357-904b9bb8a0f7
* Outil de test de la traduction et de la compilation en v8 sans modification desGravatar herbelin2003-09-12
| | | | | | | sources git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4393 85f007b7-540e-0410-9357-904b9bb8a0f7
* Message pour les erreursGravatar herbelin2003-09-12
| | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4382 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 21:40:44 +0000