diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-06-15 12:53:16 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-15 12:53:16 +0000 |
| commit | 7b89a075f52308e27566686ba0bf86df70505d4b (patch) | |
| tree | b0927a5c2115dcecddeb5b3d685245fc0bf8c342 /README | |
| parent | be15e72fb2296380065e567b00d1ed8867ac5336 (diff) | |
Web addr note
Diffstat (limited to 'README')
| -rw-r--r-- | README | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -40,11 +40,11 @@ March 2000. NEWSFLASH: -Temporarily, all Proof General pages are hosted on the server -zermelo.dcs.ed.ac.uk, so replace "www.dcs" or "www.lfcs.informatics" -by "zermelo.dcs" in all URLs mentioned in the sources and -documentation. (There is an indirection via www.lfcs.informatics but -it is not totally reliable, unfortunately) +For the forseeable future, all Proof General pages are hosted on my +personal server, zermelo.dcs.ed.ac.uk, so replace "www.dcs" or +"www.lfcs.informatics" by "zermelo.dcs" in all URLs mentioned in the +sources and documentation. (There is an indirection in place via +www.lfcs.informatics but it is not totally reliable, unfortunately) |