index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
sphinx
/
addendum
Age
Commit message (
Expand
)
Author
2018-04-16
[Sphinx] Clean-up indices
Maxime Dénès
2018-04-16
[Sphinx] Fix a lot of references and description of options
Maxime Dénès
2018-04-14
[Sphinx] Fix all remaining warnings.
Maxime Dénès
2018-04-14
[sphinx] Fix many warnings.
Théo Zimmermann
2018-04-13
Merge PR #7117: Sphinx doc chapter 29
Théo Zimmermann
2018-04-12
[Sphinx] Add chapter 29
Maxime Dénès
2018-04-11
[sphinx] Remove migration artefacts.
Théo Zimmermann
2018-04-11
[Sphinx] Move chapter 29 to new infrastructure
Maxime Dénès
2018-04-05
[Sphinx] Add chapter 30
Maxime Dénès
2018-04-05
[Sphinx] Move chapter 30 to new infrastructure
Maxime Dénès
2018-04-04
[Sphinx] Add chapter 28
Maxime Dénès
2018-04-04
[Sphinx] Move chapter 28 to new infrastructure
Maxime Dénès
2018-03-30
[Sphinx] Add chapter 27
Maxime Dénès
2018-03-30
[Sphinx] Move chapter 27 to new infrastructure
Maxime Dénès
2018-03-30
[Sphinx] Add chapter 25
Maxime Dénès
2018-03-30
[Sphinx] Move chapter 25 to new infrastructure
Maxime Dénès
2018-03-29
[Sphinx] Add chapter 26
Maxime Dénès
2018-03-29
[Sphinx] Move chapter 26 to new infrastructure
Maxime Dénès
2018-03-29
[Sphinx] Add chapter 24
Maxime Dénès
2018-03-29
[Sphinx] Move chapter 24 to new infrastructure
Maxime Dénès
2018-03-29
[Sphinx] Add chapter 23
Maxime Dénès
2018-03-29
[Sphinx] Move chapter 23 to new infrastructure
Maxime Dénès
2018-03-29
[Sphinx] Add chapter 18
Maxime Dénès
2018-03-29
[Sphinx] Move chapter 18 to new infrastructure
Maxime Dénès
2018-03-26
[doc] Port Chapter 20 Type Classes to Sphinx
Matthieu Sozeau
2018-03-26
Move Classes.tex to type-classes.rst
Matthieu Sozeau
2018-03-22
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] Add chapter 22
Maxime Dénès
2018-03-22
[Sphinx] Move chapter 22 to new infrastructure
Maxime Dénès
2018-03-22
[Sphinx] Add chapter 21
Maxime Dénès
2018-03-22
[Sphinx] Move chapter 21 to new infrastructure
Maxime Dénès
2018-03-22
[Sphinx] Add chapter 19
Maxime Dénès
2018-03-22
[Sphinx] Move chapter 19 to new infrastructure
Maxime Dénès
2018-03-22
[Sphinx] Add chapter 17
Maxime Dénès
2018-03-22
[Sphinx] Move chapter 17 to new infrastructure
Maxime Dénès