diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-04-13 00:04:25 +0200 |
|---|---|---|
| committer |  Maxime Dénès <mail@maximedenes.fr> | 2018-04-14 15:41:56 +0200 |
| commit | 14f44c0e23c413314adf23ed1059acc5cd1fef2f (patch) | |
| tree | cbd4580127497e576114e6e48e57406c094473d4 /doc/sphinx/index.rst | |
| parent | f6112493ffe08064db480341e3f2b60bff22e0cf (diff) | |
[Sphinx] Add chapter 9.
Chapter ported by Théo Zimmermann and Maxime Dénès.
Diffstat (limited to 'doc/sphinx/index.rst')
| -rw-r--r-- | doc/sphinx/index.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/sphinx/index.rst b/doc/sphinx/index.rst index 60ed11835..296330607 100644 --- a/doc/sphinx/index.rst +++ b/doc/sphinx/index.rst @@ -28,6 +28,7 @@ Table of contents proof-engine/vernacular-commands proof-engine/proof-handling proof-engine/tactics + proof-engine/ltac proof-engine/detailed-tactic-examples proof-engine/ssreflect-proof-language |