reorganise docs (shorten URL)
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 18 Apr 2021 10:16:58 +0000 (11:16 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sun, 18 Apr 2021 10:17:08 +0000 (11:17 +0100)
commit42fd142884363f878b0fb6437701fc7114aa5f63
treee1000addd6a7337528100805eef89b055b39a27d
parenta54d844c37f52fbe3cdc02e3daeb816082bd0cf1
reorganise docs (shorten URL)
12 files changed:
Documentation/SOC/index.mdwn [deleted file]
Documentation/gtkwave_tutorial.mdwn [deleted file]
Documentation/gtkwave_tutorial/2020-08-15_12-04.png [deleted file]
Documentation/index.mdwn [deleted file]
Documentation/notes_on_formal_proofs.mdwn [deleted file]
docs.mdwn [new file with mode: 0644]
docs/SOC/index.mdwn [new file with mode: 0644]
docs/gtkwave_tutorial.mdwn [new file with mode: 0644]
docs/gtkwave_tutorial/2020-08-15_12-04.png [new file with mode: 0644]
docs/notes_on_formal_proofs.mdwn [new file with mode: 0644]
index.mdwn
sidebar.mdwn