From a87453f84a31259b32d9f6434ebc60a6fc036823 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Wed, 28 Oct 2020 08:53:49 +0100
Subject: [PATCH] Further documentation updates wrt email addresses and URLs.

---
 gui/Changelog.txt | 2 +-
 gui/Gui/About.py  | 4 ++--
 gui/README.md     | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/gui/Changelog.txt b/gui/Changelog.txt
index 7909b58..d48d51b 100644
--- a/gui/Changelog.txt
+++ b/gui/Changelog.txt
@@ -73,7 +73,7 @@ Major new features:
 
 Additional protocol models:
 
-See <http://www.cs.ox.ac.uk/people/cas.cremers/tools/protocols.html> for a
+See <https://people.cispa.io/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 fc26377..404a829 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://www.cs.ox.ac.uk/people/cas.cremers/scyther/index.html">
-        http://www.cs.ox.ac.uk/people/cas.cremers/scyther/index.html</a>
+        <a target="_blank" href="https://people.cispa.io/cas.cremers/scyther/index.html">
+        https://people.cispa.io/cas.cremers/scyther/index.html</a>
     </p>
     <h5>License</h5>
     <p>
diff --git a/gui/README.md b/gui/README.md
index cfadb57..7334b81 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://www.cs.ox.ac.uk/people/cas.cremers/scyther/index.html>.
+<https://people.cispa.io/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