From a45172583f2a0a335483294d83127af55fb2767e Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Sun, 2 May 2010 23:36:33 +0200
Subject: [PATCH] Removed obsolete bibliography data from README.

---
 gui/README.txt | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/gui/README.txt b/gui/README.txt
index 1f83df9..68cc720 100644
--- a/gui/README.txt
+++ b/gui/README.txt
@@ -32,14 +32,4 @@ the base directory.  Many other protocol input files can be found in the
 'Protocols' directory.
 
 
-3. Citing Scyther
-===========================
-
-@phdthesis{cremers06,
-  Author    = "Cas Cremers",
-  Title     = "Scyther - Semantics and Verification of Security Protocols",
-  school    = "Eindhoven University of Technology",
-  publisher = "University Press Eindhoven",
-  year      = "2006",
-}