aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2008-12-12- configure: do not strip coqtop on Darwin so as to support dynamic loadingherbelin
2008-11-23- Synchronized subst_object with load_object (load_and_subst_objects)herbelin
2008-11-22Fixed bug in VernacExtend printing + missing vernacular printing rules +herbelin
2008-11-14Amélioration du README.doc et de l'installation de la docnotin
2008-11-13Tentative d'amélioration de la robustesse des Makefile générés parnotin
2008-11-07Suite #11533notin
2008-11-07Correction du bug #1926notin
2008-11-06Correction d'un petit bug en cas de redéfintion par l'utilisateur de variabl...notin
2008-11-05Minor fixes:msozeau
2008-11-042 petites améliorations de coq_makefile (traitement des .ml4 + cibles géné...notin
2008-10-31Ajout d'une option -raw pour Coqdoc (sortie en texte brut)notin
2008-10-26Stop using a coqdocdoc env which prevents use of environments insidemsozeau
2008-10-22Various coqdoc improvements:msozeau
2008-10-20Syntaxe de COQBINnotin
2008-10-18- Merge modifs coq_makefile.ml4 de la 8.1 vers le trunk (commit 11429)herbelin
2008-10-06## Lines starting with '## ' will be removed from the log message.msozeau
2008-10-03Minor fixes related to coqdoc and --interpolate and the dependentmsozeau
2008-09-25Forgot one file.msozeau
2008-09-25Improvements in coqdoc:msozeau
2008-09-15Add types introduced by subtac in *.glob filesglondu
2008-09-04Correction du bug #1908 (améliorations de coqdoc.css)notin
2008-07-25Suite 11266 (warning tools/gallina.ml)herbelin
2008-07-18Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...notin
2008-07-18Affichage intempestif d'information de globalisation + numéro de version dan...notin
2008-07-17- coqdoc: correction d'un bug sur les commentaires imbriquésnotin
2008-06-26Oubli lors de la révision #11177notin
2008-06-25Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...notin
2008-06-24Suppression de l'option -dump-glob et ajout d'une option -no-globnotin
2008-06-21Code cleanup in typeclasses, remove dead and duplicated code.msozeau
2008-06-19Little fixes: print unbound variable in error message (patch by Samuelmsozeau
2008-06-18Propagation des révisions 11144 et 11136 de la 8.2 vers le trunkherbelin
2008-06-16Add possibility to match on defined hypotheses, using brackets tomsozeau
2008-06-12Correction d'un problème lié à une interaction entre hyperref etnotin
2008-06-11Prise en compte de l'export des .cmi dans coq_makefilenotin
2008-06-10- Correct handling of DependentMorphism error, using tclFAIL instead ofmsozeau
2008-06-09Remplacement des echo -e par printf + bug sur les exécutables ocaml dans coq...notin
2008-06-06Enhancements to coqdoc, better globalization of sections and modules.msozeau
2008-06-03Fix setoid_rewrite documentation examples.msozeau
2008-05-30Improvements on coqdoc by adding more information into .globmsozeau
2008-05-28add support for pdf in coqdoc, add export to pdf in coqide, port open and sav...jnarboux
2008-04-29Correction d'un bug dans coq_makefile: génération des règles implicites en...notin
2008-04-08Ajout d'options a coqdoc pour l'entete htmlnotin
2008-04-03- Correction d'un bug de coq_makefile sur les variables CAMLLIBS etnotin
2008-03-26Bug dans la gestion des dépendances vers les .mlnotin
2008-03-26Correction du bug #1814 (trunk et v8.1) + améliorations dans coqdep et coq_m...notin
2008-03-25Prise en compte des dépendances des .mlnotin
2008-03-25Correction d'un bug dans la gestion des 'Declare ML Module'notin
2008-03-19Various improvements of coqdep, resulting in a big speedupletouzey
2008-03-14New option -glob for coqdep, in order to avoid nasty tricks with sed in Makefileletouzey
2008-03-08Coq_makefile : backtrack sur les liens vers les exécutables ocamlnotin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 04:25:31 +0000