Refactor documentation (#8288)

[cvc5.git] / docs / index.rst

diff --git a/docs/index.rst b/docs/index.rst
index 956ddcc29c6c26bfbbde8b5cde9f428b919d84f2..746b18daccf2e39ae5beb1b35d9539ffdf06eac9 100644 (file)
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -17,7 +17,12 @@ Table of Contents
    installation/installation
    binary/binary
    api/api
+   options
+   output-tags
+   proofs/proofs
+   resource-limits
+   statistics
    examples/examples
-   languages
+   theories/theories
    references
    genindex