From 05acfead84ac70b6e5162f3fa669129016fe4070 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2004 21:50:35 +0000
Subject: More proofgeneral.org removals

---
 x-symbol/man/x-symbol.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'x-symbol')

diff --git a/x-symbol/man/x-symbol.texi b/x-symbol/man/x-symbol.texi
index b7e4a19b..9a8410cd 100644
--- a/x-symbol/man/x-symbol.texi
+++ b/x-symbol/man/x-symbol.texi
@@ -4508,7 +4508,7 @@ I know of the following package---please check its manual for details.
 @item
 @pindex ProofGeneral
 @cindex Isabelle Symbol
-Package @uref{http://www.proofgeneral.org/,ProofGeneral} defines token
+Package @uref{http://proofgeneral.inf.ed.ac.uk/,ProofGeneral} defines token
 language ``Isabelle symbol''.
 @end itemize
 
@@ -6924,7 +6924,7 @@ to create the executables (type @kbd{M-x x-symbol-exec-create}).
 New functions used for interaction with Emacs package @code{comint}.
 This is necessary for new token language ``Isabelle symbol'', to be
 distributed with Emacs package
-@uref{http://www.proofgeneral.org/,ProofGeneral}.
+@uref{http://proofgeneral.inf.ed.ac.uk/,ProofGeneral}.
 
 @item
 New characters used for token languages ``@TeX{} macro'' and ``Isabelle
-- 
cgit v1.2.3