Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-5.6)
          id <25701-0@swan.cl.cam.ac.uk>; Fri, 29 Nov 1991 12:07:19 +0000
Received: by ted.cs.uidaho.edu (15.11/1.34) id AA26085;
          Fri, 29 Nov 91 03:56:42 pst
Reply-To: info-hol@ted
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (15.11/1.34) id AA26081;
          Fri, 29 Nov 91 03:56:34 pst
Received: from cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-5.6) to cl
          id <25484-0@swan.cl.cam.ac.uk>; Fri, 29 Nov 1991 11:56:46 +0000
Received: by scoter.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA04049;
          Fri, 29 Nov 91 11:56:41 GMT
Date: Fri, 29 Nov 91 11:56:41 GMT
From: John.Van-Tassel@uk.ac.cam.cl
Message-Id: <9111291156.AA04049@scoter.cl.cam.ac.uk>
To: info-hol@edu.uidaho.cs.ted
Subject: Anon FTP from Cambridge

Hi all,

Now that IP here in the UK has gone from being a feasibility study to
an actual supported service (sigh), we are able to have Cambridge act as an
anonymous FTP site for HOL and related sotftware.  All the stuff is available
from ftp.cl.cam.ac.uk (128.232.0.56) in the directory hol.  Here's an
inventory:

README.akcl:      The CLI README that goes with AKCL
akcl.tar.Z:       AKCL-1-605 distribution
kcl.tar.Z:        KCL as distributed by CLI for AKCL (you need both akcl.tar.Z
                  and kcl.tar.Z)
kcl.mips.tar.Z:   DS3100 version of regular kcl.  It builds HOL, and is the
                  suggested lisp for DECStations.  AKCL fails to build even
                  hol-lcf on DECStations.  This is due to (I believe) a
                  peculiarity of the Ultrix loader for R(2/3)000's.
saved_kcl_sun4.Z: A built version of AKCL for Sun4's.  Just pull it down
                  and run it.

README.franz: The README file describing Franz Lisp
franz.tar.Z:  Franz Lisp for Sun3's

holsys.tar.Z: The HOL system and contrib area (unpacks to hol/)
f-freadth.l:  Replacement version of hol/lisp/f-freadth.l that works with
              the latest AKCL (1-605 at the time of writing).
holdoc.tar.Z: The HOL documentation (unpacks to hol/)

There's nothing here that isn't on ted.cs.uidaho.edu.  The primary users of
the Cambridge site should be from UK/European sites.

Let me know of any problems you have.

JVT

------------------------------------------------------------------------------
John Van Tassel                 |  Tel: +44-223-334729
Univ. of Cambridge              |  Fax: +44-223-334678
Computer Laboratory             |
Pembroke Street                 |  Email: jvt@cl.cam.ac.uk
Cambridge CB2 3QG               |
England                         |