Add links in Isabelle snapshot README

1 files changed, 9 insertions, 7 deletions

diff --git a/snapshots/isabelle/README.md b/snapshots/isabelle/README.md
index b1d9db23..975b7dee 100644
--- a/snapshots/isabelle/README.md
+++ b/snapshots/isabelle/README.md
@@ -1,15 +1,16 @@
 # Isabelle Snapshots of Sail Specifications
 
 This directory contains snapshots of the Isabelle theories generated by Sail
-for the CHERI-MIPS, RISC-V, and ARM v8.3 specifications, together with
-snapshots of the Sail and Lem libraries.  These snapshots are provided for
-convenience, and are not guaranteed to be up-to-date.
+for the [CHERI-MIPS](cheri/), [RISC-V](riscv/), and [ARM v8.3](aarch64/)
+specifications, together with snapshots of the Sail and Lem libraries.  These
+snapshots are provided for convenience, and are not guaranteed to be
+up-to-date.
 
 In order to open a theory of one of the specifications in Isabelle, use the `-l
 Sail` command-line flag to load the session containing the Sail library.
-Snapshots of the Sail and Lem libraries are in the `lib/sail` and `lib/lem`
-directories, respectively.  You can tell Isabelle where to find them using the
-`-d` flag, as in
+Snapshots of the Sail and Lem libraries are in the [lib/sail](lib/sail/) and
+[lib/lem](lib/lem/) directories, respectively.  You can tell Isabelle where to
+find them using the `-d` flag, as in
 
 ```
 isabelle jedit -l Sail -d lib/lem -d lib/sail riscv/Riscv.thy
@@ -17,7 +18,8 @@ isabelle jedit -l Sail -d lib/lem -d lib/sail riscv/Riscv.thy
 
 This will open the RISC-V specification.
 
-The file `Manual.thy` (and its PDF rendering in `Manual.pdf`) contains an
+The file [Manual.thy](Manual.thy) (and its PDF rendering in
+[Manual.pdf](Manual.pdf)) contains an
 introduction on how to use the Sail specifications in Isabelle.
 
 The Lem library files in `lib/lem` have been generated from the