aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-sch.tex
Commit message (Expand)AuthorAge
* [compat] Remove NOOP and alias deprecated options.Gravatar Emilio Jesus Gallego Arias2018-03-04
* Document Rewriting Schemes (quickly).Gravatar Gaëtan Gilbert2017-12-14
* Document Record Elimination Schemes.Gravatar Gaëtan Gilbert2017-12-14
* Avoid generated names for html pages of the reference manual (bug #4742).Gravatar Guillaume Melquiond2017-09-22
* Fix some coq-tex errors in the reference manual.Gravatar Guillaume Melquiond2017-07-28
* Prelude : no more autoload of plugins extraction and recdefGravatar Pierre Letouzey2017-06-14
* Indexing and documenting some options.Gravatar Pierre-Marie Pédrot2015-12-12
* Separate index for vernacular options.Gravatar Maxime Dénès2015-02-17
* Fixing #3606 continued (doc of Scheme Boolean Equality Scheme).Gravatar Hugo Herbelin2014-10-03
* Documenting the [Variant] type definition and the [Nonrecursive Elimination S...Gravatar Arnaud Spiwack2014-09-04
* Continuing ff9f94634 on making code and doc agree on "Set Equality Schemes"Gravatar Hugo Herbelin2014-07-01
* Port rewrites of tactic documentation from branch 8.4.Gravatar gmelquio2012-09-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 19:08:22 +0000