index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
tools
Commit message (
Expand
)
Author
Age
*
Many changes in the Makefile infrastructure + a beginning of ocamlbuild
letouzey
2009-03-20
*
Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...
letouzey
2009-03-20
*
coq_makefile: -c and -shared conflict; tacinterp: delay evaluation of tactic ...
barras
2009-03-19
*
coq_makefile: no ml dependency on coq sources
barras
2009-03-18
*
- configure: affiche si le natdynlink est positionne
barras
2009-03-17
*
missing -c option of ocamlc in coq_makefile; coqdep_boot main loop was includ...
barras
2009-03-16
*
coqdep_boot: a specialized and dependency-free coqdep for killing one of the ...
letouzey
2009-03-16
*
Coqdep: better handling of Declare ML Module (via .mllib) + many cleanups
letouzey
2009-03-14
*
Coqdep: remove references to obsolete .zi and Require Implementation stuff
letouzey
2009-03-14
*
Cleanup: avoid the warning about Coq-tex not being a valid Ocaml module name
letouzey
2009-03-11
*
Amélioration de coq_makefile
notin
2009-02-24
*
Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk
notin
2009-02-11
*
From v8.2 to trunk:
herbelin
2009-02-06
*
Fix d'un bug avec l'option gallina
notin
2009-02-04
*
- Better deal with commands inside section titles in latex output using
msozeau
2009-01-21
*
Various little fixes:
msozeau
2009-01-18
*
Patch by Brian Campbell to output more information on the exception that
msozeau
2009-01-15
*
Oups... il n'y a pas d'option -impl pour ocamldep
notin
2009-01-09
*
Minor doc fixes:
msozeau
2009-01-08
*
Sous Windows, 'coqtop -where' renvoit des chemins contenant des '\'
notin
2009-01-07
*
Suite de la révision #11756
notin
2009-01-07
*
Added installation of .cmi files in "make install" target of coq_makefile.
herbelin
2009-01-04
*
Produce better html code with coqdoc and improve doc:
msozeau
2008-12-29
*
- coq_makefile: target install now respects the original tree structure
herbelin
2008-12-24
*
Nettoyage des variables Coq et amélioration de coqmktop. Les
notin
2008-12-19
*
Take advantage of natdynlink when available: almost all contribs become loada...
letouzey
2008-12-16
*
- configure: do not strip coqtop on Darwin so as to support dynamic loading
herbelin
2008-12-12
*
- Synchronized subst_object with load_object (load_and_subst_objects)
herbelin
2008-11-23
*
Fixed bug in VernacExtend printing + missing vernacular printing rules +
herbelin
2008-11-22
*
Amélioration du README.doc et de l'installation de la doc
notin
2008-11-14
*
Tentative d'amélioration de la robustesse des Makefile générés par
notin
2008-11-13
*
Suite #11533
notin
2008-11-07
*
Correction du bug #1926
notin
2008-11-07
*
Correction d'un petit bug en cas de redéfintion par l'utilisateur de variabl...
notin
2008-11-06
*
Minor fixes:
msozeau
2008-11-05
*
2 petites améliorations de coq_makefile (traitement des .ml4 + cibles géné...
notin
2008-11-04
*
Ajout d'une option -raw pour Coqdoc (sortie en texte brut)
notin
2008-10-31
*
Stop using a coqdocdoc env which prevents use of environments inside
msozeau
2008-10-26
*
Various coqdoc improvements:
msozeau
2008-10-22
*
Syntaxe de COQBIN
notin
2008-10-20
*
- Merge modifs coq_makefile.ml4 de la 8.1 vers le trunk (commit 11429)
herbelin
2008-10-18
*
## Lines starting with '## ' will be removed from the log message.
msozeau
2008-10-06
*
Minor fixes related to coqdoc and --interpolate and the dependent
msozeau
2008-10-03
*
Forgot one file.
msozeau
2008-09-25
*
Improvements in coqdoc:
msozeau
2008-09-25
*
Add types introduced by subtac in *.glob files
glondu
2008-09-15
*
Correction du bug #1908 (améliorations de coqdoc.css)
notin
2008-09-04
*
Suite 11266 (warning tools/gallina.ml)
herbelin
2008-07-25
*
Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...
notin
2008-07-18
*
Affichage intempestif d'information de globalisation + numéro de version dan...
notin
2008-07-18
[next]