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 | |
parent | eccd1efec51303c5e11860255a39a91007150705 (diff) |
Mentioned zermelo as temporary server
-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. + + + |