From 18b35a3bac6d6e647f7437c3803d297450c84a9d Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Fri, 13 Dec 2013 22:58:26 +0000
Subject: [PATCH] Added further information.

---
 gui/INSTALL.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/gui/INSTALL.md b/gui/INSTALL.md
index 4e55db8..fd0db99 100644
--- a/gui/INSTALL.md
+++ b/gui/INSTALL.md
@@ -1,6 +1,12 @@
 Installation and usage of the Scyther tool
 ==========================================
 
+Download
+--------
+
+Downloads of binary archives of Scyther for all main platforms can be
+found at http://users.ox.ac.uk/~coml0529/scyther/index.html
+
 Requirements
 ------------
 
@@ -74,6 +80,7 @@ from the command line) then you need only the first.
 Running Scyther
 ---------------
 
+Extract the Scyther archive and navigate to the extracted directory.
 
 Start Scyther by executing the file