diff options
| author | Thomas Bauereiss | 2018-05-12 11:19:30 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-05-12 11:20:33 +0100 |
| commit | 01ef8f770c22f4a0fd030746f4afddcb37733a54 (patch) | |
| tree | 3a5157b60299281e9a4f5c7266875b145c2501ff /snapshots/isabelle | |
| parent | bd2d1c51ce4128394c6752de9781ddb397254689 (diff) | |
Add link to README.md
Diffstat (limited to 'snapshots/isabelle')
| -rw-r--r-- | snapshots/isabelle/README.md | 6 |
1 files 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). |