| Age | Commit message (Expand) | Author |
|---|
| 2018-08-06 | Merge PR #8189: Some trivial fixes to the custom entry documentation. | Emilio Jesus Gallego Arias |
| 2018-08-04 | Merge PR #8142: Improved the grammar and spelling of chapter 'Syntax extensio... | Théo Zimmermann |
| 2018-08-04 | Improved the grammar and spelling of chapter 'Syntax extensions and interpret... | Zeimer |
| 2018-08-03 | Fix docs on arguments to setoid_replace. Fixes #8213 | Langston Barrett |
| 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 | 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 | Improved chapters 'Implicit Coercions' and 'Canonical Structures' of the Refe... | Zeimer |
| 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-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 | Merge PR #8072: Fixes for chapters 'Vernacular commands', 'Proof handling' an... | 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 |
| 2018-07-17 | Remove fourier plugin | Maxime Dénès |
| 2018-07-16 | bin,oct,hex conversions positive,Z,N,nat<->string | Jason Gross |
| 2018-07-13 | Merge PR #8057: Fixed typos, wording and grammar errors in the Preamble of th... | Théo Zimmermann |
| 2018-07-12 | Fixed typos, wording and grammar errors in the Preamble of the Reference Manu... | Zeimer |
| 2018-07-12 | Tactic deprecation machinery | Maxime Dénès |
