Deployed 16ac804 with MkDocs version: 1.0.4

2026-05-09 00:45:45 +02:00 · 2019-12-08 19:24:30 +00:00
parent e52d0b5b80
commit ea1c346bff
12 changed files with 1142 additions and 5 deletions
--- a/404.html
+++ b/404.html
@@ -247,6 +247,30 @@
      


+  <li class="md-nav__item">
+    <a href="/extensions/" title="Extensions" class="md-nav__link">
+      Extensions
+    </a>
+  </li>
+
+    
+      
+      
+      
+
+
+  <li class="md-nav__item">
+    <a href="/theories/" title="Theories" class="md-nav__link">
+      Theories
+    </a>
+  </li>
+
+    
+      
+      
+      
+
+
  <li class="md-nav__item">
    <a href="/docs/" title="Docs" class="md-nav__link">
      Docs