From 1f16f19377b38e6d2fb865bef110ff965edcfbec Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Sat, 15 Aug 2020 12:02:16 +0100
Subject: [PATCH]

---
 Documentation/index.mdwn | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Documentation/index.mdwn b/Documentation/index.mdwn
index df99dafa3..0acf2a34d 100644
--- 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]]
-- 
2.30.2