From: lkcl <lkcl@web>
Date: Sat, 15 Aug 2020 11:02:16 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~2278
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1f16f19377b38e6d2fb865bef110ff965edcfbec;p=libreriscv.git

---

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]]