| Age | Commit message (Expand) | Author |
|---|
| 2020-04-10 | Convert vernac commands chapter to prodn, update syntax | Jim Fehrle |
| 2019-11-20 | Update grammar in the Terms section of Gallina chapter | Jim Fehrle |
| 2019-11-06 | Replace "option" in doc when it refers to a flag | Jim Fehrle |
| 2019-10-29 | Fix #9114, assert_succeeds (exact I) solves goal | Jason Gross |
| 2019-10-29 | `assert_succeeds`&`assert_fails`: multisuccess fix | Jason Gross |
| 2019-10-22 | documentation fixes | Antonio Nikishaev |
| 2019-07-28 | Update documentation on tokens, use "int" and "num" | Jim Fehrle |
| 2019-06-15 | Rename expr and tacexpr tokens into ltac_expr token family. | Théo Zimmermann |
| 2019-05-23 | Define many undefined tokens, and other misc fixes. | Théo Zimmermann |
| 2019-05-22 | [refman] Add more missing @ signs | Clément Pit-Claudel |
| 2019-05-22 | [refman] Misc fixes (mostly missing '@' signs) | Clément Pit-Claudel |
| 2019-05-21 | Fixing typos - Part 1 | JPR |
| 2019-05-19 | [refman] Misc fixes (indentation, whitespace, notation syntax) | Clément Pit-Claudel |
| 2019-05-10 | Better title for the first example of the Ltac examples section. | Théo Zimmermann |
| 2019-05-09 | Improve the first two Ltac examples. | Théo Zimmermann |
| 2019-05-09 | Rewording, language improvements. | Théo Zimmermann |
| 2019-05-08 | [refman] Move all the Ltac examples to the Ltac chapter. | Théo Zimmermann |
| 2019-05-07 | Integrate build and documentation of Ltac2 | Maxime Dénès |
| 2019-03-27 | [doc] [abstract] Document a bit some problems with abstract. | Emilio Jesus Gallego Arias |
| 2019-03-08 | [sphinx] Fix typo in local application of tactics | hawnzug |
| 2019-02-18 | Using options abort and restart of coqtop directive in the manual. | Théo Zimmermann |
| 2019-02-18 | Sphinx: fail when a command fails | Gaëtan Gilbert |
| 2019-02-18 | Merge PR #9142: Disable Ltac backtraces | Hugo Herbelin |
| 2019-02-12 | Fix failing coqtops in ltac.rst | Gaëtan Gilbert |
| 2019-02-05 | Documenting the Ltac Backtrace flag. | Pierre-Marie Pédrot |
| 2019-01-24 | Merge PR #9384: Improve the note in the beginning of the Ltac chapter. | Clément Pit-Claudel |
| 2019-01-23 | Fix the information of the level of ; vs ; [ ] | Théo Zimmermann |
| 2019-01-23 | Improve the note in the beginning of the Ltac chapter. | Théo Zimmermann |
| 2019-01-22 | Remove unneeded | in productionlists | Jim Fehrle |
| 2018-12-04 | Document undocumented flags and options | Jim Fehrle |
| 2018-11-21 | [sphinx] Progress towards closing #7602: remove most objects without a body. | Théo Zimmermann |
| 2018-09-20 | Rewrite "Flags, Options and Tables" section. | Jim Fehrle |
| 2018-09-20 | [doc] Include the rst and LaTeX preambles automatically in all files | Clément Pit-Claudel |
| 2018-09-17 | Add missing index entries. | Théo Zimmermann |
| 2018-09-12 | Manual: fix documentation of the “fresh” tactic | Vincent Laporte |
| 2018-08-31 | Uniformized many spelling variants. Added .. warning:: and .. seealso:: direc... | Zeimer |
| 2018-08-22 | Fix #8251: remove "the the" occurrences | Gaëtan Gilbert |
| 2018-08-16 | Merge PR #8109: [doc] Fix grammar of goal selectors. | Maxime Dénès |
| 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-10 | fixed typo for assert_suceed | charguer |
| 2018-05-25 | [doc] Allow more than one signature and name per Sphinx object | Clément Pit-Claudel |
| 2018-05-09 | [sphinx] Fix new warnings related to tacn, cmd, opt... | Théo Zimmermann |
| 2018-05-05 | [sphinx] Add indices for only, all and par. | Théo Zimmermann |
| 2018-05-05 | Clean-up around cmd documentation. | Théo Zimmermann |
| 2018-05-05 | [sphinx] Replace remaining `@natural` by `@num`. | Théo Zimmermann |
| 2018-05-05 | [sphinx] Use references for command Info. | Théo Zimmermann |
| 2018-05-05 | Fix error messages and make them consistent. | Théo Zimmermann |
