Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix some coq-tex errors in the reference manual. | Guillaume Melquiond | 2017-07-28 |
* | Prelude : no more autoload of plugins extraction and recdef | Pierre Letouzey | 2017-06-14 |
* | Indexing and documenting some options. | Pierre-Marie Pédrot | 2015-12-12 |
* | Separate index for vernacular options. | Maxime Dénès | 2015-02-17 |
* | Fixing #3606 continued (doc of Scheme Boolean Equality Scheme). | Hugo Herbelin | 2014-10-03 |
* | Documenting the [Variant] type definition and the [Nonrecursive Elimination S... | Arnaud Spiwack | 2014-09-04 |
* | Continuing ff9f94634 on making code and doc agree on "Set Equality Schemes" | Hugo Herbelin | 2014-07-01 |
* | Port rewrites of tactic documentation from branch 8.4. | gmelquio | 2012-09-15 |