index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
sphinx
/
proof-engine
/
ssreflect-proof-language.rst
Commit message (
Expand
)
Author
Age
*
[ssr] document {}/view
Enrico Tassi
2018-06-22
*
[ssr] document rewrite {}foo
Enrico Tassi
2018-06-22
*
[doc] Fix a typo in the ssreflect chapter
Clément Pit-Claudel
2018-06-19
*
[doc] Fix uncaught duplicate-label errors in the SSReflect chapter
Clément Pit-Claudel
2018-06-19
*
Fix #7829: Spurious documentation failures.
Théo Zimmermann
2018-06-18
*
Improve links to SSR tactics, and some other improvements.
Théo Zimmermann
2018-06-05
*
Workaround a weird error of .. coqtop::
Théo Zimmermann
2018-06-05
*
Remove many abusive .. coqtop in SSR chapter.
Théo Zimmermann
2018-06-05
*
A 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 markup
Enrico Tassi
2018-06-05
*
[sphinx] Start fixing SSR chapter.
Théo Zimmermann
2018-06-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] Clean-up indices
Maxime Dénès
2018-04-16
*
[Sphinx] Fix a lot of references and description of options
Maxime Dénès
2018-04-16
*
[Sphinx] Fix all remaining warnings.
Maxime Dénès
2018-04-14
*
[sphinx] Remove migration artefacts.
Théo Zimmermann
2018-04-11
*
Fixed many typos and grammar errors in chapter 11 of the manual.
Zeimer
2018-04-06
*
[Sphinx] Add chapter 11
Maxime Dénès
2018-03-16