aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* Amélioration de coq_makefileGravatar notin2009-02-24
* Report des revisions #11826, #11828 et #11829 de v8.2 vers trunkGravatar notin2009-02-11
* From v8.2 to trunk:Gravatar herbelin2009-02-06
* Fix d'un bug avec l'option gallinaGravatar notin2009-02-04
* - Better deal with commands inside section titles in latex output usingGravatar msozeau2009-01-21
* Various little fixes:Gravatar msozeau2009-01-18
* Patch by Brian Campbell to output more information on the exception thatGravatar msozeau2009-01-15
* Oups... il n'y a pas d'option -impl pour ocamldepGravatar notin2009-01-09
* Minor doc fixes:Gravatar msozeau2009-01-08
* Sous Windows, 'coqtop -where' renvoit des chemins contenant des '\'Gravatar notin2009-01-07
* Suite de la révision #11756Gravatar notin2009-01-07
* Added installation of .cmi files in "make install" target of coq_makefile.Gravatar herbelin2009-01-04
* Produce better html code with coqdoc and improve doc:Gravatar msozeau2008-12-29
* - coq_makefile: target install now respects the original tree structureGravatar herbelin2008-12-24
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Take advantage of natdynlink when available: almost all contribs become loada...Gravatar letouzey2008-12-16
* - configure: do not strip coqtop on Darwin so as to support dynamic loadingGravatar herbelin2008-12-12
* - Synchronized subst_object with load_object (load_and_subst_objects)Gravatar herbelin2008-11-23
* Fixed bug in VernacExtend printing + missing vernacular printing rules +Gravatar herbelin2008-11-22
* Amélioration du README.doc et de l'installation de la docGravatar notin2008-11-14
* Tentative d'amélioration de la robustesse des Makefile générés parGravatar notin2008-11-13
* Suite #11533Gravatar notin2008-11-07
* Correction du bug #1926Gravatar notin2008-11-07
* Correction d'un petit bug en cas de redéfintion par l'utilisateur de variabl...Gravatar notin2008-11-06
* Minor fixes:Gravatar msozeau2008-11-05
* 2 petites améliorations de coq_makefile (traitement des .ml4 + cibles géné...Gravatar notin2008-11-04
* Ajout d'une option -raw pour Coqdoc (sortie en texte brut)Gravatar notin2008-10-31
* Stop using a coqdocdoc env which prevents use of environments insideGravatar msozeau2008-10-26
* Various coqdoc improvements:Gravatar msozeau2008-10-22
* Syntaxe de COQBINGravatar notin2008-10-20
* - Merge modifs coq_makefile.ml4 de la 8.1 vers le trunk (commit 11429)Gravatar herbelin2008-10-18
* ## Lines starting with '## ' will be removed from the log message.Gravatar msozeau2008-10-06
* Minor fixes related to coqdoc and --interpolate and the dependentGravatar msozeau2008-10-03
* Forgot one file.Gravatar msozeau2008-09-25
* Improvements in coqdoc:Gravatar msozeau2008-09-25
* Add types introduced by subtac in *.glob filesGravatar glondu2008-09-15
* Correction du bug #1908 (améliorations de coqdoc.css)Gravatar notin2008-09-04
* Suite 11266 (warning tools/gallina.ml)Gravatar herbelin2008-07-25
* Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...Gravatar notin2008-07-18
* Affichage intempestif d'information de globalisation + numéro de version dan...Gravatar notin2008-07-18
* - coqdoc: correction d'un bug sur les commentaires imbriquésGravatar notin2008-07-17
* Oubli lors de la révision #11177Gravatar notin2008-06-26
* Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...Gravatar notin2008-06-25
* Suppression de l'option -dump-glob et ajout d'une option -no-globGravatar notin2008-06-24
* Code cleanup in typeclasses, remove dead and duplicated code.Gravatar msozeau2008-06-21
* Little fixes: print unbound variable in error message (patch by SamuelGravatar msozeau2008-06-19
* Propagation des révisions 11144 et 11136 de la 8.2 vers le trunkGravatar herbelin2008-06-18
* Add possibility to match on defined hypotheses, using brackets toGravatar msozeau2008-06-16
* Correction d'un problème lié à une interaction entre hyperref etGravatar notin2008-06-12
* Prise en compte de l'export des .cmi dans coq_makefileGravatar notin2008-06-11