From 88bf33443b81cb028a2f280b1fb7fc9438890fe5 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Tue, 6 Feb 2018 11:26:19 +0000
Subject: note existence of sail2 in README

---
 README | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README b/README
index 2e96dfae..d9fd69d1 100644
--- a/README
+++ b/README
@@ -1,5 +1,8 @@
 Sail README
 
+[Note that this describes the original Sail language, on the github master branch.  The current development version, on the github sail2 branch, is somewhat different; documentation for that is in progress]
+
+
 Kathryn E. Gray and Peter Sewell
 15 March 2017
 
-- 
cgit v1.2.3