diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-08-20 18:45:12 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-08-20 18:45:12 +0000 |
| commit | a558a68c4d0b236093ac8b7f0dfe94c39a06fa97 (patch) | |
| tree | 74a651ed02a0f8f74da67ce879616c572b30d696 /README | |
| parent | eccd1efec51303c5e11860255a39a91007150705 (diff) | |
Mentioned zermelo as temporary server
Diffstat (limited to 'README')
| -rw-r--r-- | README | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -22,5 +22,14 @@ at: http://www.dcs.ed.ac.uk/home/proofgen David Aspinall. August 1999. + +NEWSFLASH: + +Temporarily, all Proof General pages are hosted on the server +zermelo.dcs.ed.ac.uk, so replace "www" by "zermelo" in all +URLs mentioned in the sources and documentation. + + + |