Fix domain name

1 files changed, 2 insertions, 2 deletions

diff --git a/REGISTER b/REGISTER
index 8bcfbbf0..820c9517 100644
--- a/REGISTER
+++ b/REGISTER
@@ -1,6 +1,6 @@
 Please register your use of Proof General on the web at:
 
-	  http://www.proofgeneral.org/register
+	  http://proofgeneral.inf.ed.ac.uk/register
 
 The information provided will only be used to help a case for support
 for Proof General in the future.
@@ -9,4 +9,4 @@ There is also an opportunity to join the mailing list from this page.
 To add or remove yourself from the mailing list after registering, go
 to:
   
-   	  http://www.proofgeneral.org/mailinglist
+   	  http://proofgeneral.inf.ed.ac.uk/mailinglist