| Age | Commit message (Expand) | Author |
|---|
| 2018-08-02 | Merge PR #8143: Improved grammar and spelling in chapters 'Proof Schemes' and... | Théo Zimmermann |
| 2018-08-02 | Merge PR #8145: Improved grammar and spelling in chapter 'Extended pattern ma... | Théo Zimmermann |
| 2018-08-02 | Merge PR #8144: Improved grammar and spelling for chapters 'Utilities' and 'C... | Théo Zimmermann |
| 2018-08-02 | Merge PR #8176: Improved grammar and spelling in chapters 'Type Classes', 'Om... | Théo Zimmermann |
| 2018-08-01 | Fix broken link. | Daniel R. Grayson |
| 2018-08-01 | Added a tactic index entry for nsatz, reformatted commands in chapter 'Genera... | Zeimer |
| 2018-08-01 | Improved grammar and spelling in the remaining chapters of the Reference Manual. | Zeimer |
| 2018-08-01 | Improved grammar and spelling in chapter 'Extended pattern matching' of the R... | Zeimer |
| 2018-08-01 | Improved grammar and spelling in chapters 'Proof Schemes' and 'The Coq comman... | Zeimer |
| 2018-08-01 | Improved grammar and spelling in chapters 'Type Classes', 'Omega' and 'Microm... | Zeimer |
| 2018-08-01 | Improved grammar and spelling for chapters 'Utilities' and 'CoqIDE' of the Re... | Zeimer |
| 2018-08-01 | Merge PR #8192: Fix typos and typesetting of doc on Program | Théo Zimmermann |
| 2018-08-01 | Merge PR #8184: Improved grammar and spelling in chapters 'Extraction', 'Prog... | Théo Zimmermann |
| 2018-08-01 | Merge PR #8191: [sphinx] Use arguments of '.. example::' directive as a title | Théo Zimmermann |
| 2018-07-31 | Camlp{4 => 5} | Jason Gross |
| 2018-07-31 | Fix doc for no associativity | Jason Gross |
| 2018-07-30 | Fix typos and typesetting of doc on Program | Lysxia |
| 2018-07-30 | [sphinx] Use arguments of '.. example::' directive as a title | Clément Pit-Claudel |
| 2018-07-30 | Some trivial fixes to the custom entry documentation. | Théo Zimmermann |
| 2018-07-29 | Improved grammar and spelling in chapters 'Extraction', 'Program' and 'ring a... | Zeimer |
| 2018-07-29 | Miscellaneous uniformization of typography in chapter syntax extensions. | Hugo Herbelin |
| 2018-07-29 | Documenting custom entries in the reference manual + CHANGES. | Hugo Herbelin |
| 2018-07-28 | Merge PR #8077: Fix #7291: unify tactic should have more descriptive error me... | Hugo Herbelin |
| 2018-07-28 | Merge PR #8160: Improved chapters 'Implicit Coercions' and 'Canonical Structu... | Théo Zimmermann |
| 2018-07-28 | Merge PR #8148: Doc: preliminary work before #7291 which add an "Unable to un... | Théo Zimmermann |
| 2018-07-27 | Missing backslash in the documentation file. | Martin Bodin |
| 2018-07-26 | [sphinx] Do name cleanup in handle_signature | Clément Pit-Claudel |
| 2018-07-26 | Improved chapters 'Implicit Coercions' and 'Canonical Structures' of the Refe... | Zeimer |
| 2018-07-25 | [sphinx] Add a way of skipping names in the indexes. | Théo Zimmermann |
| 2018-07-25 | Doc: preliminary work before #7291 which add an "Unable to unify" message. | Hugo Herbelin |
| 2018-07-24 | Update the documentation w.r.t. the new error raised by unify. | Pierre-Marie Pédrot |
| 2018-07-24 | Merge PR #8083: Add test for repeated section with same name | Théo Zimmermann |
| 2018-07-24 | Merge PR #6597: Binary, Octal, and Hex conversions between [positive], [Z], [... | Hugo Herbelin |
| 2018-07-23 | Add test for repeated section with same name | Jasper Hugunin |
| 2018-07-22 | Docs: minor typo in "Template Polymorphism" | Timothy Bourke |
| 2018-07-22 | Docs: minor typo in W-Ind relative to text | Timothy Bourke |
| 2018-07-21 | Solved problems with snippets giving errors in chapter 'Detailed examples of ... | Zeimer |
| 2018-07-21 | Rewrote examples about permutations, logic and type isomorphisms: changed the... | Zeimer |
| 2018-07-21 | Improvements for the chapter 'Detailed examples of tactics' of the Reference ... | Zeimer |
| 2018-07-21 | Docs: Fix p values in CIC Inductive Defs examples | Timothy Bourke |
| 2018-07-21 | Merge PR #8072: Fixes for chapters 'Vernacular commands', 'Proof handling' an... | Théo Zimmermann |
| 2018-07-21 | Fixing capital letters in the "in" syntax of instantiate. | Hugo Herbelin |
| 2018-07-21 | [doc] Fix grammar of goal selectors. | Théo Zimmermann |
| 2018-07-21 | A few Sphinx fixes in the Ltac chapter. | Théo Zimmermann |
| 2018-07-20 | Small improvements suggested in comments to PR #8086. | Zeimer |
| 2018-07-20 | Improved chapter 'The tactic language' of the Reference Manual. | Zeimer |
| 2018-07-20 | Added :undocumented: and :cmd: as suggested in comments for PR #8072. | Zeimer |
| 2018-07-20 | Fixed many spelling and grammar errors in the chapters 'Vernacular commands',... | Zeimer |
| 2018-07-19 | Rewrote section 'Accessing the Type level' in the chapter 'The Coq library' o... | Zeimer |
| 2018-07-19 | Fixed some typos and grammar errors from section 'The language' of the Refere... | Zeimer |
