index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
coqdoc
/
cdglobals.ml
Age
Commit message (
Expand
)
Author
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2019-02-20
[azure] [ci] Build on Windows using Dune.
Emilio Jesus Gallego Arias
2018-02-27
Update headers following #6543.
Théo Zimmermann
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2017-05-29
Using the same strategy in coqdoc than in coqtop to guess the coqlib.
Hugo Herbelin
2017-05-29
Exporting the suffixes needed to build coqlib, docdir, etc.
Hugo Herbelin
2017-05-29
Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.
Hugo Herbelin
2016-01-20
Update copyright headers.
Maxime Dénès
2015-01-12
Update headers.
Maxime Dénès
2013-08-22
Misc changes around coqtop.ml :
letouzey
2012-08-23
No more states/initial.coq, instead coqtop now requires Prelude.vo
letouzey
2012-08-08
Updating headers.
herbelin
2011-09-27
In Coq_config: get rid of coqsrc and make coqlib optional
glondu
2011-04-20
Coqdoc: also try coqlib relative to the coqdoc binary location
letouzey
2010-09-28
Coqdoc patches from UPenn (thanks to C. Casinghino). This introduces the
msozeau
2010-09-28
Minor fixes of 'make doc'
pboutill
2010-07-24
Updated all headers for 8.3 and trunk
herbelin
2010-03-29
Several bug-fixes and improvements of coqdoc
herbelin
2009-09-17
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-04
Incorporate coqdoc changes by the UPenn team (B.Pierce, C. Casinghino,
msozeau
2009-09-03
Add --plain-comments patch by F. Garillot, which also adds
msozeau
2009-04-24
Report de la révision #12104 (Maj lien site web de Coq)
notin
2009-03-22
coqdoc fixes and support for parsing regular comments (request by
msozeau
2008-10-31
Ajout d'une option -raw pour Coqdoc (sortie en texte brut)
notin
2008-09-25
Forgot one file.
msozeau
2008-07-18
Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...
notin
2008-04-08
Ajout d'options a coqdoc pour l'entete html
notin
2007-03-22
Correction des bugs #1455 et #1456
notin
2007-03-22
Remove debugging code committed by accident
lmamane
2007-03-22
A tentative fix for bug #1455
lmamane
2006-05-26
Support des modules dans Coqdoc
notin
2006-05-02
Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ...
notin
2006-03-08
r8620@thot: notin | 2006-03-08 11:44:16 +0100
notin
