aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-sch.tex
Commit message (Expand)AuthorAge
* 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