From d1b810d9fcef43305b4ddcced2171153a689b2d7 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas@roivas.(none)>
Date: Sat, 19 May 2007 17:04:57 +0200
Subject: [PATCH] - Updated.

---
 gui/README.txt | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/gui/README.txt b/gui/README.txt
index 968a725..1f83df9 100644
--- a/gui/README.txt
+++ b/gui/README.txt
@@ -2,15 +2,9 @@
 
 				Scyther
 
-			       1.0-beta5
-
 	  an automatic verification tool for security protocols
 			     by Cas Cremers
 
-			Microsoft Windows binary
-				  and
-	   Linux binary (compiled for Linux i686 environments)
-
 ------------------------------------------------------------------------
 
 
@@ -35,7 +29,7 @@ Start the graphical user interface by starting
 
 Some protocol description files (with extension .spdl) can be found in
 the base directory.  Many other protocol input files can be found in the
-SPORE directory.
+'Protocols' directory.
 
 
 3. Citing Scyther