diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-02-08 15:43:31 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-02-08 15:43:31 +0000 |
commit | 2ff1e8c22f754d8fc70d0332427542731f7b64f0 (patch) | |
tree | 9dcf604d0776146f8bc877b712f93d54c4497e73 /doc | |
parent | 4b0c270c87489ac313f0f52f23e625d709df8db5 (diff) |
Update some urls
Diffstat (limited to 'doc')
-rw-r--r-- | doc/PG-adapting.texi | 8 |
1 files changed, 4 insertions, 4 deletions
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 |