index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
refman
/
Reference-Manual.tex
Age
Commit message (
Expand
)
Author
2018-04-16
Remove LaTeX refman, now that migration to Sphinx is complete
Maxime Dénès
2018-04-13
[Sphinx] Move chapter 1 to new infrastructure
Maxime Dénès
2018-04-11
[Sphinx] Move chapter 29 to new infrastructure
Maxime Dénès
2018-04-10
[Sphinx] Move chapter 6 to new infrastructure
Maxime Dénès
2018-04-10
[Sphinx] Move chapter 15 to new infrastructure
Maxime Dénès
2018-04-09
[Sphinx] Move chapter 7 to new infrastructure
Maxime Dénès
2018-04-05
[Sphinx] Move chapter 30 to new infrastructure
Maxime Dénès
2018-04-04
[Sphinx] Move chapter 28 to new infrastructure
Maxime Dénès
2018-03-30
[Sphinx] Move chapter 27 to new infrastructure
Maxime Dénès
2018-03-30
[Sphinx] Move chapter 25 to new infrastructure
Maxime Dénès
2018-03-29
[Sphinx] Move chapter 26 to new infrastructure
Maxime Dénès
2018-03-29
[Sphinx] Move chapter 24 to new infrastructure
Maxime Dénès
2018-03-29
[Sphinx] Move chapter 23 to new infrastructure
Maxime Dénès
2018-03-29
[Sphinx] Move chapter 18 to new infrastructure
Maxime Dénès
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] Move chapter 22 to new infrastructure
Maxime Dénès
2018-03-22
[Sphinx] Move chapter 21 to new infrastructure
Maxime Dénès
2018-03-22
[Sphinx] Move chapter 19 to new infrastructure
Maxime Dénès
2018-03-22
[Sphinx] Move chapter 17 to new infrastructure
Maxime Dénès
2018-03-16
[Sphinx] Add chapter 11
Maxime Dénès
2018-03-15
[Sphinx] Move chapter 3 to new infrastructure
Maxime Dénès
2018-03-15
[Sphinx] Move chapter 16 to new infrastructure
Maxime Dénès
2018-03-15
[Sphinx] Move chapter 14 to new infrastructure
Maxime Dénès
2018-03-15
[Sphinx] Move chapter 13 to new infrastructure
Maxime Dénès
2018-03-15
[Sphinx] Move chapter 12 to new infrastructure
Maxime Dénès
2018-03-15
[Sphinx] Move chapter 10 to new infrastructure
Maxime Dénès
2018-03-15
[Sphinx] Move chapter 8 to new infrastructure
Maxime Dénès
2018-03-15
[Sphinx] Move chapter 5 to new infrastructure
Maxime Dénès
2018-03-15
[Sphinx] Move chapter 4 to new infrastructure
Maxime Dénès
2018-03-15
[Sphinx] Move chapter 2 to new infrastructure
Maxime Dénès
2018-03-15
[Sphinx] Move credits to new infrastructure
Maxime Dénès
2018-03-13
[Sphinx] Move introduction to new infrastructure
Maxime Dénès
2017-08-02
Port ssr manual to Coq's latex/hevea style
Enrico Tassi
2017-03-07
Farewell decl_mode
Enrico Tassi
2015-12-10
CLEANUP: putting examples inside "figure" environment
Matej Kosik
2015-12-10
ENH: examples for 'strict positivity' were expanded
Matej Kosik
2015-07-31
Improve the table of content of the reference manual.
Guillaume Melquiond
2015-04-02
Make sure that hyperref creates the proper links to the documentation indexes.
Guillaume Melquiond
2015-02-17
Separate index for vernacular options.
Maxime Dénès
2015-02-10
Add section numbering to the refman PDF. (Fix for bug #2365)
Guillaume Melquiond
2014-12-09
refman: switch all source files to utf8
Pierre Letouzey
2014-07-24
Start documenting universe polymorphism.
Matthieu Sozeau
2014-04-28
Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)
Guillaume Melquiond
2014-01-05
refman: fist stab at Asynchronous Proofs
Enrico Tassi
2013-12-04
Documentation of the Derive plugin.
Arnaud Spiwack
2013-11-29
First stab at documenting Canonical Structures
Enrico Tassi
2012-09-15
Port rewrites of tactic documentation from branch 8.4.
gmelquio
[next]
