diff options
Diffstat (limited to 'README')
| -rw-r--r-- | README | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 |