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/PG-adapting.texi | |
| parent | 4b0c270c87489ac313f0f52f23e625d709df8db5 (diff) | |
Update some urls
Diffstat (limited to 'doc/PG-adapting.texi')
| -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 |