From 7e802737e2010ba47689db5b9feb27a966aa41a4 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 9 Mar 2000 10:50:52 +0000 Subject: Canonical web site mentioned. --- README | 22 ++++++++++++++++++---- 1 file changed, 18 insertions(+), 4 deletions(-) diff --git a/README b/README index 164469eb..28170830 100644 --- a/README +++ b/README @@ -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) -- cgit v1.2.3