index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
refman
/
RefMan-sch.tex
Age
Commit message (
Expand
)
Author
2018-03-15
[Sphinx] Move chapter 13 to new infrastructure
Maxime Dénès
2018-03-04
[compat] Remove NOOP and alias deprecated options.
Emilio Jesus Gallego Arias
2017-12-14
Document Rewriting Schemes (quickly).
Gaëtan Gilbert
2017-12-14
Document Record Elimination Schemes.
Gaëtan Gilbert
2017-09-22
Avoid generated names for html pages of the reference manual (bug #4742).
Guillaume Melquiond
2017-07-28
Fix some coq-tex errors in the reference manual.
Guillaume Melquiond
2017-06-14
Prelude : no more autoload of plugins extraction and recdef
Pierre Letouzey
2015-12-12
Indexing and documenting some options.
Pierre-Marie Pédrot
2015-02-17
Separate index for vernacular options.
Maxime Dénès
2014-10-03
Fixing #3606 continued (doc of Scheme Boolean Equality Scheme).
Hugo Herbelin
2014-09-04
Documenting the [Variant] type definition and the [Nonrecursive Elimination S...
Arnaud Spiwack
2014-07-01
Continuing ff9f94634 on making code and doc agree on "Set Equality Schemes"
Hugo Herbelin
2012-09-15
Port rewrites of tactic documentation from branch 8.4.
gmelquio
