index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
Commit message (
Expand
)
Author
Age
*
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
|
/
*
Merge PR #7006: [Sphinx] Add chapter 11
Maxime Dénès
2018-03-16
|
\
*
\
Merge PR #7005: Fix coqtop timeout
Maxime Dénès
2018-03-16
|
\
\
|
|
*
[Sphinx] Add chapter 11
Maxime Dénès
2018-03-16
|
|
/
|
/
|
|
*
[Sphinx] Better error message for coqtop errors
Maxime Dénès
2018-03-16
|
*
[Sphinx] Increase coqtop timeout to avoid spurious failures on CI
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
*
[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
[next]