Updating URLs.

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
 ----------------------

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

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>

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

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