index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
sphinx
/
credits.rst
Age
Commit message (
Expand
)
Author
2019-03-31
Split credits chapter in two parts: history, and changelog in inverse chronol...
Théo Zimmermann
2019-02-28
Move content of README-V1-V5 to Credits chapter.
Théo Zimmermann
2018-11-06
Improve rendering of the credits.
Guillaume Melquiond
2018-10-30
Credits for 8.9
Matthieu Sozeau
2018-10-19
Replace non-idiomatic "dead-alleys" with idiomatic "dead-ends"
Sam Pablo Kuper
2018-10-10
[doc] [sphinx] Fix title levels.
Théo Zimmermann
2018-09-25
[doc] Rename credits-wrapper to credits and credits to credits-contents
Clément Pit-Claudel
2018-09-20
Rewrite "Flags, Options and Tables" section.
Jim Fehrle
2018-09-20
[doc] Create a wrapper around the Credits file for the LaTeX build
Clément Pit-Claudel
2018-09-20
[doc] Create a separate index file for the LaTeX build
Clément Pit-Claudel
2018-08-31
Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc...
Zeimer
2018-07-12
Fixed typos, wording and grammar errors in the Preamble of the Reference Manu...
Zeimer
2018-06-28
Self-credit for the work done.
Théo Zimmermann
2018-06-17
Add introduction and credits to the TOC.
Théo Zimmermann
2018-04-17
Add some 8.8.0 contributors in credits
Maxime Dénès
2018-04-11
Add credits related to the Sphinx migration.
Théo Zimmermann
2018-04-11
Fix wrong mention in the release notes.
Théo Zimmermann
2018-04-04
Sphinx docs: fix typo (non-ASCII character lost in sphinx migration)
Peter LeFanu Lumsdaine
2018-03-16
Latest fixes.
Matthieu Sozeau
2018-03-15
Fix some items in Credits
Maxime Dénès
2018-03-15
Credits for 8.8
Matthieu Sozeau
2018-03-15
[Sphinx] Add credits
Maxime Dénès
2018-03-15
[Sphinx] Move credits to new infrastructure
Maxime Dénès