From 0164d341b4b5c5c55f39abde040aa4c591cfcf90 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 11 Dec 2003 17:01:20 +0000
Subject: Fix domain name

---
 REGISTER | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'REGISTER')

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
-- 
cgit v1.2.3