diff options
| author | Alasdair Armstrong | 2018-05-11 18:52:17 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-05-11 18:52:17 +0100 |
| commit | 8429ef315cd1c58505863ee82cc1411635ca7162 (patch) | |
| tree | 7e64b14b80b288d78304ecfae0f9185029d8218f /README.md | |
| parent | 29a98ea4f127f921b0b4abf800311fde325d06a7 (diff) | |
Fix last few links in README.md
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -15,7 +15,7 @@ for several papers, available from http://www.cl.cam.ac.uk/~pes20/sail/ This repository contains the implementation of Sail, together with some Sail specifications and related tools. -* A manual, [manual.pdf] with source (in [doc/](doc/)) +* A manual, [manual.pdf](manual.pdf) with source (in [doc/](doc/)) * The Sail source code (in [src/](src/)) @@ -56,10 +56,10 @@ to get pre-built binaries of Sail using OPAM. Emacs Mode ========== -[editors/sail2-mode.el](editors/sail2-mode.el) contains an Emacs mode for the most recent -version of Sail which provides some basic syntax -highlighting. [editors/sail-mode.el] Contains an emacs mode for -previous versions of the language. +[editors/sail2-mode.el](editors/sail2-mode.el) contains an Emacs mode +for the most recent version of Sail which provides some basic syntax +highlighting. [editors/sail-mode.el](editors/sail-mode.el) contains an +emacs mode for previous versions of the language. Licensing ========= |
