diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-03-30 17:36:36 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-04-05 08:36:57 +0200 |
| commit | cfde2528ba4e93795df50356d47fbc9ced62e517 (patch) | |
| tree | 8d831814d28f38cf4fadd453e89be18864917b3b /doc/sphinx/index.rst | |
| parent | ad702b290fcee29305b8a83b7530e24d655b2d7d (diff) | |
[Sphinx] Add chapter 30
Thanks to Paul Steckler for porting this chapter.
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 3dd4f8020..db03693ff 100644 --- a/doc/sphinx/index.rst +++ b/doc/sphinx/index.rst @@ -55,6 +55,7 @@ Table of contents addendum/nsatz addendum/generalized-rewriting addendum/parallel-proof-processing + addendum/miscellaneous-extensions .. toctree:: :caption: Reference |