aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/proof-engine/ssreflect-proof-language.rst
AgeCommit message (Expand)Author
2018-06-22[ssr] document {}/viewEnrico Tassi
2018-06-22[ssr] document rewrite {}fooEnrico Tassi
2018-06-19[doc] Fix a typo in the ssreflect chapterClément Pit-Claudel
2018-06-19[doc] Fix uncaught duplicate-label errors in the SSReflect chapterClément Pit-Claudel
2018-06-18Fix #7829: Spurious documentation failures.Théo Zimmermann
2018-06-05Improve links to SSR tactics, and some other improvements.Théo Zimmermann
2018-06-05Workaround a weird error of .. coqtop::Théo Zimmermann
2018-06-05Remove many abusive .. coqtop in SSR chapter.Théo Zimmermann
2018-06-05A few additional small fixes.Théo Zimmermann
2018-06-05[sphinx] Fix missing indices warnings.Théo Zimmermann
2018-06-05[ssr] index entry for "without loss", "suffices" and "generally have"Enrico Tassi
2018-06-05[ssr] some fixes to the documentation markupEnrico Tassi
2018-06-05[sphinx] Start fixing SSR chapter.Théo Zimmermann
2018-05-05Clean-up around cmd documentation.Théo Zimmermann
2018-05-05[sphinx] Replace remaining `@natural` by `@num`.Théo Zimmermann
2018-04-16[Sphinx] Clean-up indicesMaxime Dénès
2018-04-16[Sphinx] Fix a lot of references and description of optionsMaxime Dénès
2018-04-14[Sphinx] Fix all remaining warnings.Maxime Dénès
2018-04-11[sphinx] Remove migration artefacts.Théo Zimmermann
2018-04-06Fixed many typos and grammar errors in chapter 11 of the manual.Zeimer
2018-03-16[Sphinx] Add chapter 11Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 20:20:21 +0000