(no commit message)

diff --git a/Documentation/index.mdwn b/Documentation/index.mdwn
index df99dafa36469a53fa105a2e42a9dc62f9ac390d..0acf2a34d85b763478050fc8082c206e7ad6314b 100644 (file)
--- a/Documentation/index.mdwn
+++ b/Documentation/index.mdwn
@@ -28,3 +28,11 @@ The SOC is partitioned into three repositories. The subrepositories are intended
     
     python3 soc/src/soc/decoder/power_decoder.py
     yosys -p "read_ilang decoder.il; show dec31" 
+
+## Gtkwave Tutorial
+
+[[Documentation/gtkwave_tutorial]]
+
+## Formal proof notes
+
+[[Documentation/notes_on_formal_proofs]]