From 665793e2e5cc528af5cff6995ec9a2c072502f04 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 Sep 2000 12:18:37 +0000
Subject: Fix Proof General web page to www.proofgeneral.org.

---
 FAQ | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'FAQ')

diff --git a/FAQ b/FAQ
index 018a6f59..cc598b21 100644
--- a/FAQ
+++ b/FAQ
@@ -3,7 +3,7 @@ FAQs for Proof General
 
 $Id$
 
-For latest version, see http://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/FAQ
+For latest version, see http://www.proofgeneral.org/ProofGeneral/FAQ
 
 -----------------------------------------------------------------
 
-- 
cgit v1.2.3