index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
sphinx
Commit message (
Expand
)
Author
Age
...
*
[Sphinx] Add chapter 10
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 10 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Add chapter 8
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 8 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Add chapter 5
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 5 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Add chapter 4
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] Add credits
Maxime Dénès
2018-03-15
*
[Sphinx] Move credits to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Add introduction
Maxime Dénès
2018-03-13
*
[Sphinx] Move introduction to new infrastructure
Maxime Dénès
2018-03-13
*
[Sphinx] Add "edit on github"
Maxime Dénès
2018-03-13
*
[Sphinx] Mention license
Maxime Dénès
2018-03-13
*
[Sphinx] Remove ad-hoc color for links interfering with TOC
Maxime Dénès
2018-03-13
*
[Sphinx] Update some metadata
Maxime Dénès
2018-03-13
*
[Sphinx] Read version number from configure
Maxime Dénès
2018-03-13
*
[Sphinx] Comment out metadata for unused backends
Maxime Dénès
2018-03-13
*
[Sphinx] Remove information for .chm backend
Maxime Dénès
2018-03-13
*
[Sphinx] add bibliography
Maxime Dénès
2018-03-13
*
[Sphinx] Add indexes
Maxime Dénès
2018-03-13
*
[Sphinx] Add table of contents
Maxime Dénès
2018-03-12
*
[Sphinx] Add doc preamble
Maxime Dénès
2018-03-12
*
Integration of a sphinx-based documentation generator.
Maxime Dénès
2018-03-09
[prev]