From 2bdc5d09389c8fccd8100c0c07c54b2b8895c76a Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 21 Sep 2018 15:09:08 +0100
Subject: Remove cheri and mips specs -- they now have their own repository.

---
 README.md | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 5144d13c..d1a5bc32 100644
--- a/README.md
+++ b/README.md
@@ -19,10 +19,6 @@ some Sail specifications and related tools.
 
 * The Sail source code (in [src/](src/))
 
-* A Sail specification of a MIPS ISA (in [mips/](mips/))
-
-* A Sail specification of the CHERI MIPS ISA (in [cheri/](cheri/))
-
 * A Sail specification of ARMv8.3-A generated from ARM's publically
   released ASL specification (in [aarch64/](aarch64/))
 
@@ -40,6 +36,9 @@ hand-written fragment of ARMv8-A, but these are currently not up-to-date
 with the latest version of Sail, which is the (default) sail2 branch
 on Github.
 
+The mips and cheri-mips specifications that used to be here have moved to
+https://github.com/CTSRD-CHERI/sail-cheri-mips .
+
 OPAM Installation
 =================
 
-- 
cgit v1.2.3