Refactor documentation (#8288)

[cvc5.git] / docs / index.rst

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