| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 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 |
| 2018-07-10 | fixed typo for assert_suceed | charguer |
| 2018-07-10 | Merge PR #8028: Fix a few typos | Théo Zimmermann |
| 2018-07-10 | Merge PR #8025: Fix rst syntax for `quote ident {ident}` | Théo Zimmermann |
| 2018-07-10 | Fix typo in doc/proof-engine/tactics.rst. | whitequark |
| 2018-07-09 | Merge PR #7920: Generic syntax for attributes | Maxime Dénès |
| 2018-07-09 | Fix rst syntax for `quote ident {ident}` | Joachim Breitner |
| 2018-07-08 | Remove Emacs modes. | Théo Zimmermann |
| 2018-07-07 | Merge PR #7921: Archive the `gallina` tool | Maxime Dénès |
| 2018-07-04 | doc: Fix markup in Calculus of Inductive Constructions | Fabian |
| 2018-07-03 | Describe attributes in the documentation. | Vincent Laporte |
| 2018-07-03 | Merge PR #7820: [hints] Add Hint Variables/Constants Opaque/Transparent commands | Pierre-Marie Pédrot |
| 2018-07-02 | Merge PR #7703: Add an option to force parameters to be uniform | Matthieu Sozeau |
| 2018-07-02 | Merge PR #7969: doc: typesetting and hyperlinks in Syntax Extensions | Théo Zimmermann |
| 2018-07-02 | hints: add Hint Variables/Constants Opaque/Transparent commands | Matthieu Sozeau |
| 2018-07-01 | Document option Uniform Inductive Parameters | Jasper Hugunin |
| 2018-06-30 | doc: typesetting and hyperlinks in Syntax Extensions | Lysxia |
| 2018-06-29 | doc: Fix typesetting in Gallina extensions | Lysxia |
