From 2ff1e8c22f754d8fc70d0332427542731f7b64f0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Feb 2004 15:43:31 +0000
Subject: Update some urls

---
 doc/PG-adapting.texi | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'doc')

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index b3438791..3de4d261 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -30,11 +30,11 @@
 @c FIXME: unfortunately, broken in buggy pdftexinfo.
 @c so removed for now.
 @set URLxsymbol  http://x-symbol.sourceforge.net/
-@set URLisamode  http://zermelo.dcs.ed.ac.uk/~isamode
+@set URLisamode  http://homepages.inf.ed.ac.uk/da/isamode
 @set URLpghome   http://proofgeneral.inf.ed.ac.uk
-@set URLpglatestrpm  http://proofgeneral.inf.ed.ac.uk/ProofGeneral-latest.noarch.rpm
-@set URLpglatesttar  http://proofgeneral.inf.ed.ac.uk/ProofGeneral-latest.tar.gz
-@set URLpglatestdev  http://proofgeneral.inf.ed.ac.uk/ProofGeneral-devel-latest.tar.gz
+@set URLpglatestrpm  http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-latest.noarch.rpm
+@set URLpglatesttar  http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-latest.tar.gz
+@set URLpglatestdev  http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-devel-latest.tar.gz
 @c
 @c
 
-- 
cgit v1.2.3