| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-05-22 | [refman] Add more missing @ signs | Clément Pit-Claudel | |
| 2019-05-16 | [refman] Introduce syntax for alternatives in notations | Clément Pit-Claudel | |
| Closes GH-8482. | |||
| 2019-04-16 | Update and fix documentation of Program Fixpoint with measure | Maxime Dénès | |
| 2018-12-04 | Add undocumented options from mattam82 | Jim Fehrle | |
| 2018-12-03 | A few fixes of unexisting tokens. | Théo Zimmermann | |
| 2018-11-30 | Add indexes for coercion / substructure symbol :>. | Théo Zimmermann | |
| And a few more Sphinx fixes in passing. | |||
| 2018-11-21 | [sphinx] Progress towards closing #7602: remove most objects without a body. | Théo Zimmermann | |
| Remove objects without body from most chapters. The remaining problems are all in the SSReflect chapter. | |||
| 2018-09-20 | Rewrite "Flags, Options and Tables" section. | Jim Fehrle | |
| Mark boolean-valued options with :flag: Adjust tactic and command names so parameters aren't shown in the index unless they're needed for disambiguation. Remove references to synchronous options. Revise doc for tables. Correct indentation for text below :flag: | |||
| 2018-09-20 | [doc] Include the rst and LaTeX preambles automatically in all files | Clément Pit-Claudel | |
| 2018-09-20 | [doc] Remove an empty '.. bibliography::' in addendum/program | Clément Pit-Claudel | |
| 2018-08-31 | Uniformized many spelling variants. Added .. warning:: and .. seealso:: ↵ | Zeimer | |
| directives in many places. Disambiguated terminology: disequality now means <> while inequality means < <= > >=. Fixed some more grammar and spelling issues. | |||
| 2018-08-01 | Merge PR #8192: Fix typos and typesetting of doc on Program | Théo Zimmermann | |
| 2018-07-30 | Fix typos and typesetting of doc on Program | Lysxia | |
| 2018-07-29 | Improved grammar and spelling in chapters 'Extraction', 'Program' and 'ring ↵ | Zeimer | |
| and field' chapters of the Reference Manual. | |||
| 2018-05-05 | Clean-up around cmd documentation. | Théo Zimmermann | |
| In particular, remove trailing dots. | |||
| 2018-05-05 | Fix error messages and make them consistent. | Théo Zimmermann | |
| All the error messages start with a capitalized letter and end with a dot. | |||
| 2018-04-16 | [Sphinx] Clean-up indices | Maxime Dénès | |
| 2018-04-14 | [Sphinx] Fix all remaining warnings. | Maxime Dénès | |
| 2018-04-14 | [sphinx] Fix many warnings. | Théo Zimmermann | |
| Including cross-reference TODOs. I took down the number of warnings from 300 to 50. | |||
| 2018-03-29 | [Sphinx] Add chapter 24 | Maxime Dénès | |
| Thanks to Matthieu Sozeau for porting this chapter. | |||
| 2018-03-29 | [Sphinx] Move chapter 24 to new infrastructure | Maxime Dénès | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |