From b2c9b16148e4587128e8be52df8c3c2b356f57ba Mon Sep 17 00:00:00 2001
From: pes20
Date: Sat, 1 Aug 2020 14:56:43 +0100
Subject: wib

---
 README.md | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 06f2bf74..bbd41d10 100644
--- a/README.md
+++ b/README.md
@@ -20,14 +20,17 @@ been used for several papers, available from
 Given a Sail definition, the tool will type-check it and generate
 executable emulators, in C and OCaml, theorem-prover definitions for
 Isabelle, HOL4, and Coq, and definitions to integrate with our 
-<a href="http://www.cl.cam.ac.uk/users/pes20/rmem">RMEM</a> tool for
+<a href="http://www.cl.cam.ac.uk/users/pes20/rmem">RMEM</a>
+and
+<a href="isla-axiomatic.cl.cam.ac.uk/">isla-axiomatic</a>
+tools for
 concurrency semantics.  This is all work in progress, and some
 theorem-prover definitions do not yet work for the more complex
 models; see the most recent papers and the ARMv8.5-A model for
 descriptions of the current state.
 <p>
 
-  <img width="500" src="https://www.cl.cam.ac.uk/~pes20/sail/overview-sail.png">
+  <img width="850" src="https://www.cl.cam.ac.uk/~pes20/sail/overview-sail.png">
 <p>
 
 This repository contains the implementation of Sail, together with
-- 
cgit v1.2.3