aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/sphinx/proof-engine/ssreflect-proof-language.rst
Commit message (Expand)AuthorAge
* [ssr] document {}/viewGravatar Enrico Tassi2018-06-22
* [ssr] document rewrite {}fooGravatar Enrico Tassi2018-06-22
* [doc] Fix a typo in the ssreflect chapterGravatar Clément Pit-Claudel2018-06-19
* [doc] Fix uncaught duplicate-label errors in the SSReflect chapterGravatar Clément Pit-Claudel2018-06-19
* Fix #7829: Spurious documentation failures.Gravatar Théo Zimmermann2018-06-18
* Improve links to SSR tactics, and some other improvements.Gravatar Théo Zimmermann2018-06-05
* Workaround a weird error of .. coqtop::Gravatar Théo Zimmermann2018-06-05
* Remove many abusive .. coqtop in SSR chapter.Gravatar Théo Zimmermann2018-06-05
* A few additional small fixes.Gravatar Théo Zimmermann2018-06-05
* [sphinx] Fix missing indices warnings.Gravatar Théo Zimmermann2018-06-05
* [ssr] index entry for "without loss", "suffices" and "generally have"Gravatar Enrico Tassi2018-06-05
* [ssr] some fixes to the documentation markupGravatar Enrico Tassi2018-06-05
* [sphinx] Start fixing SSR chapter.Gravatar Théo Zimmermann2018-06-05
* Clean-up around cmd documentation.Gravatar Théo Zimmermann2018-05-05
* [sphinx] Replace remaining `@natural` by `@num`.Gravatar Théo Zimmermann2018-05-05
* [Sphinx] Clean-up indicesGravatar Maxime Dénès2018-04-16
* [Sphinx] Fix a lot of references and description of optionsGravatar Maxime Dénès2018-04-16
* [Sphinx] Fix all remaining warnings.Gravatar Maxime Dénès2018-04-14
* [sphinx] Remove migration artefacts.Gravatar Théo Zimmermann2018-04-11
* Fixed many typos and grammar errors in chapter 11 of the manual.Gravatar Zeimer2018-04-06
* [Sphinx] Add chapter 11Gravatar Maxime Dénès2018-03-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 12:50:54 +0000