index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
refman
/
Reference-Manual.tex
Commit message (
Expand
)
Author
Age
*
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] 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-22
|
/
*
[Sphinx] Add chapter 11
Maxime Dénès
2018-03-16
*
[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-15
*
[Sphinx] Move introduction to new infrastructure
Maxime Dénès
2018-03-13
*
Port ssr manual to Coq's latex/hevea style
Enrico Tassi
2017-08-02
*
Farewell decl_mode
Enrico Tassi
2017-03-07
*
CLEANUP: putting examples inside "figure" environment
Matej Kosik
2015-12-10
*
ENH: examples for 'strict positivity' were expanded
Matej Kosik
2015-12-10
*
Improve the table of content of the reference manual.
Guillaume Melquiond
2015-07-31
*
Make sure that hyperref creates the proper links to the documentation indexes.
Guillaume Melquiond
2015-04-02
*
Separate index for vernacular options.
Maxime Dénès
2015-02-17
*
Add section numbering to the refman PDF. (Fix for bug #2365)
Guillaume Melquiond
2015-02-10
*
refman: switch all source files to utf8
Pierre Letouzey
2014-12-09
*
Start documenting universe polymorphism.
Matthieu Sozeau
2014-07-24
*
Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)
Guillaume Melquiond
2014-04-28
*
refman: fist stab at Asynchronous Proofs
Enrico Tassi
2014-01-05
*
Documentation of the Derive plugin.
Arnaud Spiwack
2013-12-04
*
First stab at documenting Canonical Structures
Enrico Tassi
2013-11-29
*
Port rewrites of tactic documentation from branch 8.4.
gmelquio
2012-09-15
*
Addedum to documentation of bullets: I now use the dedicated coq_example
aspiwack
2012-05-10
*
Restores pdf bookmarks in the reference manual.
aspiwack
2012-04-13
*
Added doc/refman/coqide.eps and coqide-queries.eps to remove the need for png...
emakarov
2010-09-06
*
plugin groebner updated and renamed as nsatz; first version of the doc of nsa...
pottier
2010-06-03
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Removed Gappa from the external provers supported by the dp plugin. Tactic ga...
gmelquio
2009-09-11
*
Micromega: doc + test-suite update
fbesson
2008-07-07
*
documentation tactique gappa
filliatr
2008-04-17
*
Add almost empty Classes.tex for documentation of type classes.
msozeau
2008-04-17
*
Added full documentation for mathematical mode (draft version)
corbinea
2008-01-29
*
Changed many refman/*.tex files. Put \label and \index commands that immediat...
emakarov
2007-04-17
*
Cleaned doc/common/title.tex file. Increased the space under headers
emakarov
2007-04-12
*
Eliminated warning messages from Hevea. Most warning messages were
emakarov
2007-04-10
*
Documentation de lazymatch et des extensions de idtac et fail
herbelin
2006-07-11
[next]