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.

---
 papers/README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'papers')

diff --git a/papers/README b/papers/README
index 121b6666..8d106538 100644
--- a/papers/README
+++ b/papers/README
@@ -1,4 +1,4 @@
 Papers are not included with the distribution at the moment.
 
 Please look under "Documentation" on the Proof General home page,
-http://zermelo.dcs.ed.ac.uk/~proofgen
+http://www.proofgeneral.org
-- 
cgit v1.2.3