diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-09 10:50:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-09 10:50:52 +0000 |
| commit | 7e802737e2010ba47689db5b9feb27a966aa41a4 (patch) | |
| tree | 33cb64b9ea0d6d31fa49a57adafb94d7f0e953b4 /README | |
| parent | 48d1a9802507dbdf04fc391ac96c2699af0e2ad0 (diff) | |
Canonical web site mentioned.
Diffstat (limited to 'README')
| -rw-r--r-- | README | 22 |
1 files changed, 18 insertions, 4 deletions
@@ -16,18 +16,32 @@ See COPYING for license details. See doc/ for documentation of Proof General. +For notes on the supported assistants, see the subdirectories, + + isa/ Isabelle + isar/ Isabelle/Isar + coq/ Coq + lego/ LEGO + hol98/ HOL 98 + plastic/ Plastic + + For the latest news and downloads, check the Proof General web page -at: http://www.dcs.ed.ac.uk/home/proofgen +at: http://www.lfcs.informatics.ed.ac.uk/proofgen David Aspinall. -November 1999. +March 2000. + +---- 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. +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) |