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] 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] Remove duplicate entry for command `Coercion`
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-29
*
[doc] Port Chapter 20 Type Classes to Sphinx
Matthieu Sozeau
2018-03-26
*
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] 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
2018-03-22
|
/
*
[Sphinx] Add chapter 11
Maxime Dénès
2018-03-16
*
Latest fixes.
Matthieu Sozeau
2018-03-16
*
Fix some items in Credits
Maxime Dénès
2018-03-15
*
Merge PR #6992: Credits for 8.8
Maxime Dénès
2018-03-15
|
\
|
*
Credits for 8.8
Matthieu Sozeau
2018-03-15
*
|
[Sphinx] Add chapter 3
Maxime Dénès
2018-03-15
*
|
[Sphinx] Move chapter 3 to new infrastructure
Maxime Dénès
2018-03-15
|
/
*
[Sphinx] Add chapter 16
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 16 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Add chapter 14
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 14 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Add chapter 13
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 13 to new infrastructure
Maxime Dénès
2018-03-15
*
[Sphinx] Add chapter 12
Maxime Dénès
2018-03-15
*
[Sphinx] Move chapter 12 to new infrastructure
Maxime Dénès
2018-03-15
*
[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
[next]