| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-03-31 | Split credits chapter in two parts: history, and changelog in inverse ↵ | Théo Zimmermann | |
| chronological order. | |||
| 2019-02-28 | Move content of README-V1-V5 to Credits chapter. | Théo Zimmermann | |
| 2018-11-06 | Improve rendering of the credits. | Guillaume Melquiond | |
| This mostly fixes text that was italicized instead of teletyped. When possible, tactic names have been made to point to their documentation. Also, the date of the 8.9 release has been proactively changed to November. | |||
| 2018-10-30 | Credits for 8.9 | Matthieu Sozeau | |
| Adressed comments by Guillaume and Jason Updated according to Zimmi48's input. Better link to custom entries Fix typesetting | |||
| 2018-10-19 | Replace non-idiomatic "dead-alleys" with idiomatic "dead-ends" | Sam Pablo Kuper | |
| 2018-10-10 | [doc] [sphinx] Fix title levels. | Théo Zimmermann | |
| 2018-09-25 | [doc] Rename credits-wrapper to credits and credits to credits-contents | Clément Pit-Claudel | |
| This ensures that previous links to 'credits.html' still point to the right page. | |||
| 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] Create a wrapper around the Credits file for the LaTeX build | Clément Pit-Claudel | |
| 2018-09-20 | [doc] Create a separate index file for the LaTeX build | Clément Pit-Claudel | |
| See https://github.com/sphinx-doc/sphinx/issues/4977 for context. | |||
| 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-07-12 | Fixed typos, wording and grammar errors in the Preamble of the Reference ↵ | Zeimer | |
| Manual (Introduction, Credits). | |||
| 2018-06-28 | Self-credit for the work done. | Théo Zimmermann | |
| I reused the sentence from the version 8.7 credits. It wasn't initially decided like this but it looks like I'm the de facto maintainer for this release as well. | |||
| 2018-06-17 | Add introduction and credits to the TOC. | Théo Zimmermann | |
| Move credits to its own chapter (closes #6573). | |||
| 2018-04-17 | Add some 8.8.0 contributors in credits | Maxime Dénès | |
| 2018-04-11 | Add credits related to the Sphinx migration. | Théo Zimmermann | |
| Closes #7209. | |||
| 2018-04-11 | Fix wrong mention in the release notes. | Théo Zimmermann | |
| 2018-04-04 | Sphinx docs: fix typo (non-ASCII character lost in sphinx migration) | Peter LeFanu Lumsdaine | |
| 2018-03-16 | Latest fixes. | Matthieu Sozeau | |
| I think we can all agree this release has a chilean flavor anyway (as in hot and cold :) | |||
| 2018-03-15 | Fix some items in Credits | Maxime Dénès | |
| 2018-03-15 | Credits for 8.8 | Matthieu Sozeau | |
| 2018-03-15 | [Sphinx] Add credits | Maxime Dénès | |
| 2018-03-15 | [Sphinx] Move credits to new infrastructure | Maxime Dénès | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |