index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
Makefile.doc
Commit message (
Expand
)
Author
Age
*
Sphinx: a "QUICK=1" option to bypass recompilation of the library.
Hugo Herbelin
2018-05-12
*
Clean-up in Makefile.doc and include Sphinx in doc-html target.
Théo Zimmermann
2018-05-10
*
Remove tutorials.
Théo Zimmermann
2018-05-10
*
[doc] Remove unused dependencies.
Emilio Jesus Gallego Arias
2018-04-28
*
Remove LaTeX refman, now that migration to Sphinx is complete
Maxime Dénès
2018-04-16
*
[Sphinx] Build with warnings as errors
Maxime Dénès
2018-04-14
*
[Sphinx] Move chapter 9 to new infrastructure.
Théo Zimmermann
2018-04-14
*
[Sphinx] Move chapter 1 to new infrastructure
Maxime Dénès
2018-04-13
*
[Sphinx] Move chapter 29 to new infrastructure
Maxime Dénès
2018-04-11
*
[Sphinx] Move chapter 6 to new infrastructure
Maxime Dénès
2018-04-10
*
[Sphinx] Move chapter 15 to new infrastructure
Maxime Dénès
2018-04-10
*
[Sphinx] Move chapter 7 to new infrastructure
Maxime Dénès
2018-04-09
*
[Sphinx] Move chapter 30 to new infrastructure
Maxime Dénès
2018-04-05
*
[Sphinx] Move chapter 28 to new infrastructure
Maxime Dénès
2018-04-04
*
[Sphinx] Move chapter 27 to new infrastructure
Maxime Dénès
2018-03-30
*
[Sphinx] Move chapter 25 to new infrastructure
Maxime Dénès
2018-03-30
*
[Sphinx] Move chapter 26 to new infrastructure
Maxime Dénès
2018-03-29
*
[Sphinx] Move chapter 24 to new infrastructure
Maxime Dénès
2018-03-29
*
[Sphinx] Move chapter 23 to new infrastructure
Maxime Dénès
2018-03-29
*
[Sphinx] Move chapter 18 to new infrastructure
Maxime Dénès
2018-03-29
*
Move Classes.tex to type-classes.rst
Matthieu Sozeau
2018-03-26
*
Merge branch 'master' into sphinx-doc-chapter-22
Guillaume Melquiond
2018-03-22
|
\
|
*
Merge branch 'master' into sphinx-doc-chapter-21
Guillaume Melquiond
2018-03-22
|
|
\
|
|
*
Merge branch 'master' into sphinx-doc-chapter-19
Guillaume Melquiond
2018-03-22
|
|
|
\
*
|
|
|
[Sphinx] Move chapter 22 to new infrastructure
Maxime Dénès
2018-03-22
|
*
|
|
[Sphinx] Move chapter 21 to new infrastructure
Maxime Dénès
2018-03-22
|
/
/
/
|
*
/
[Sphinx] Move chapter 19 to new infrastructure
Maxime Dénès
2018-03-22
|
/
/
|
*
[Sphinx] Move chapter 17 to new infrastructure
Maxime Dénès
2018-03-22
|
/
*
[Sphinx] Add chapter 11
Maxime Dénès
2018-03-16
*
[Sphinx] Move chapter 3 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 16 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 14 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 13 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 12 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 10 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 8 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 5 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 4 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Add chapter 2
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 2 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move credits to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Move introduction to new infrastructure
Maxime Dénès
2018-03-13
*
Integration of a sphinx-based documentation generator.
Maxime Dénès
2018-03-09
*
Remove NOPLUGINDOCS option
mrmr1993
2018-03-05
*
Build docs for plugins by default, add NOPLUGINDOCS flag to disable
mrmr1993
2018-03-05
*
Tidy up ml-doc outut, give it a separate output directory
mrmr1993
2018-03-05
*
Use computed deps to generate ml-doc and use implicit mli-doc deps
mrmr1993
2018-03-05
*
Merge PR #6855: Update headers following #6543.
Maxime Dénès
2018-03-05
|
\
|
*
Update headers following #6543.
Théo Zimmermann
2018-02-27
*
|
Use relative path for show_latex_messages
mrmr1993
2018-02-27
[next]
Hugo Herbelin
Théo Zimmermann
Emilio Jesus Gallego Arias
Maxime Dénès
Matthieu Sozeau
Guillaume Melquiond
mrmr1993