From a20f3760e77c9d744aa5f46912eac390b1146ce8 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Mon, 23 Dec 2013 13:11:48 +0000
Subject: [PATCH] Updating URLs.

---
 README.md         | 2 +-
 gui/Changelog.txt | 2 +-
 gui/Gui/About.py  | 4 ++--
 gui/README.md     | 2 +-
 src/switches.c    | 2 +-
 5 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/README.md b/README.md
index 484889d..5dc1a22 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ tool for security protocol analysis. Its intended audience are
 interested users and future developers of the Scyther tool, as well as
 protocol modelers. For installation and usage instructions of the
 Scyther tool see:
-<http://people.inf.ethz.ch/cremersc/scyther/index.html>.
+<http://www.cs.ox.ac.uk/people/cas.cremers/scyther/index.html>.
 
 Installing from source
 ----------------------
diff --git a/gui/Changelog.txt b/gui/Changelog.txt
index 2ae0a7b..b50b647 100644
--- a/gui/Changelog.txt
+++ b/gui/Changelog.txt
@@ -62,7 +62,7 @@ Major new features:
 
 Additional protocol models:
 
-See <http://people.inf.ethz.ch/cremersc/tools/protocols.html> for a
+See <http://www.cs.ox.ac.uk/people/cas.cremers/tools/protocols.html> for a
 more high-level overview of selected protocol models.
 
  * IEEE 802.16e/WIMAX: PKMv2rsa and variants
diff --git a/gui/Gui/About.py b/gui/Gui/About.py
index c3a3e36..b415c55 100644
--- a/gui/Gui/About.py
+++ b/gui/Gui/About.py
@@ -65,8 +65,8 @@ class AboutScyther(wx.Dialog):
     </p>
     <p>
         For news and updates visit the Scyther pages at 
-        <a target="_blank" href="http://people.inf.ethz.ch/cremersc/scyther/index.html">
-        http://people.inf.ethz.ch/cremersc/scyther/index.html</a>
+        <a target="_blank" href="http://www.cs.ox.ac.uk/people/cas.cremers/scyther/index.html">
+        http://www.cs.ox.ac.uk/people/cas.cremers/scyther/index.html</a>
     </p>
     <h5>License</h5>
     <p>
diff --git a/gui/README.md b/gui/README.md
index 8813c5e..c954566 100644
--- a/gui/README.md
+++ b/gui/README.md
@@ -3,7 +3,7 @@ The Scyther tool
 
 Scyther is a tool for the symbolic analysis of security protocols. It is
 developed by Cas Cremers, and is available from
-<http://people.inf.ethz.ch/cremersc/scyther/index.html>.
+<http://www.cs.ox.ac.uk/people/cas.cremers/scyther/index.html>.
 
 The below instructions apply only to the *distribution version* of
 the Scyther tool. If you are working from the source files, some paths may be
diff --git a/src/switches.c b/src/switches.c
index 1759bd3..4de372b 100644
--- a/src/switches.c
+++ b/src/switches.c
@@ -1717,7 +1717,7 @@ process_switches (int commandline)
 	{
 	  printf ("Try '%s --help' for more information, or visit:\n",
 		  progname);
-	  printf (" http://people.inf.ethz.ch/cremersc/scyther/index.html\n");
+	  printf (" http://www.cs.ox.ac.uk/people/cas.cremers/scyther/index.html\n");
 	  exit (0);
 	}
       else