From 01ef8f770c22f4a0fd030746f4afddcb37733a54 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Sat, 12 May 2018 11:19:30 +0100
Subject: Add link to README.md

---
 snapshots/isabelle/README.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/snapshots/isabelle/README.md b/snapshots/isabelle/README.md
index 975b7dee..cabf4fc0 100644
--- a/snapshots/isabelle/README.md
+++ b/snapshots/isabelle/README.md
@@ -19,9 +19,9 @@ isabelle jedit -l Sail -d lib/lem -d lib/sail riscv/Riscv.thy
 This will open the RISC-V specification.
 
 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.
+[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
 [Lem](https://github.com/rems-project/lem) sources.  The Lem license can be
-found in `lib/lem/LICENSE`.
+found in [lib/lem/LICENSE](lib/lem/LICENSE).
-- 
cgit v1.2.3