diff options
| author | Maxime Dénès | 2018-03-11 00:33:46 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-03-12 17:26:35 +0100 |
| commit | b00563550b983e81a9949c1e53849f8a21ee307d (patch) | |
| tree | 2042f457392fa437f95c19b5aa972f910721c534 /doc | |
| parent | b97c80a39bb3471ae681fe5f5afef8a973e4c606 (diff) | |
[Sphinx] Add table of contents
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/index.rst | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/doc/sphinx/index.rst b/doc/sphinx/index.rst index e69de29bb2..0de75ca0ce 100644 --- a/doc/sphinx/index.rst +++ b/doc/sphinx/index.rst @@ -0,0 +1,29 @@ +------------------ +Table of contents +------------------ + +.. toctree:: + :caption: The language + +.. toctree:: + :caption: The proof engine + +.. toctree:: + :caption: User extensions + +.. toctree:: + :caption: Practical tools + +.. toctree:: + :caption: Addendum + +.. toctree:: + :caption: Reference + :titlesonly: + +.. toctree:: + :caption: Indexes + :titlesonly: + +.. No entries yet + * :index:`thmindex` |