From 05a6571cfa8b5f6a445667da54500fb660cb156c Mon Sep 17 00:00:00 2001
From: vinahradau <64530178+vinahradau@users.noreply.github.com>
Date: Thu, 28 May 2020 23:50:52 +0200
Subject: [PATCH] added Alloy comments

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

diff --git a/README.md b/README.md
index cffb7a3..7e2f149 100644
--- a/README.md
+++ b/README.md
@@ -8,6 +8,8 @@ The CID FINMA regulation was published by the Swiss Financial Market Supervisory
 
 This Z specification can be animated using the jaza animator. Jaza is available for download as an executable on github, thanks to Mark Utting (S. References).
 
+The Alloy specification can be executed within the Alloy Analyzer GUI.
+
 # Project Contents
 
 1. CIDFINMA_spec_Z.zed16 file with the Z schema definitions and operations. The file can be opened and edited with the CZT editor (S. References).