From dff7fcaee39d3519c7897f46b8e28774222b9f19 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 27 Mar 2006 20:31:19 +0000
Subject: [PATCH] - Updated readme for beta2.

---
 dist/readme.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dist/readme.txt b/dist/readme.txt
index c695c30..20de07e 100644
--- a/dist/readme.txt
+++ b/dist/readme.txt
@@ -2,7 +2,7 @@
 
 				Scyther
 
-			       1.0-beta1
+			       1.0-beta2
 
 	       a verification tool for security protocols
 			     by Cas Cremers
@@ -62,7 +62,7 @@ the following information:
 
 @misc{wwwscyther,
   Author = "C.J.F. Cremers",
-  Title  = "Scyther security protocol verification tool: documentation",
+  Title  = "Scyther : Automated Verification of Security Protocols",
   Note   = "\url{http://www.win.tue.nl/~ccremers/scyther}",
   url    = "http://www.win.tue.nl/~ccremers/scyther"
 }