From fee12c9e21547ff7ea68f520981eab7cae9ac062 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 29 Nov 1999 18:12:34 +0000
Subject: Fixed download URL to be homepage.

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 1d7d5f55..251d84d7 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -5254,7 +5254,7 @@ STOP PRESS: the Proof General web pages are temporarily being hosted at
 
 You can obtain Proof General from the URL
 @example
-@uref{http://zermelo.dcs.ed.ac.uk/home/proofgen/download.html}.
+@uref{http://zermelo.dcs.ed.ac.uk/home/proofgen}.
 @end example
 
 The distribution is available in three forms
-- 
cgit v1.2.3