Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Wed, 28 Oct 1992 11:23:19 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA06846; Wed, 28 Oct 92 03:00:30 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA06841; Wed, 28 Oct 92 03:00:17 -0800 Received: from auk.cl.cam.ac.uk (user jrh) by swan.cl.cam.ac.uk with SMTP (PP-6.2) to cl; Wed, 28 Oct 1992 10:59:02 +0000 To: info-hol@edu.uidaho.cs.ted Subject: Info-hol archive available for FTP Date: Wed, 28 Oct 92 10:58:39 +0000 From: John Harrison Message-Id: <"swan.cl.ca.400:28.09.92.10.59.21"@cl.cam.ac.uk> An archive of info-hol which I have put together is now available by anonymous FTP from Cambridge: ftp.cl.cam.ac.uk [128.232.0.56] in directory "hvg/info-hol-archive" This directory contains about 750 files, so it's probably best to pull down the file `.INDEX' first. There are no doubt many errors and omissions, especially in the earlier parts. Any corrections, extra messages or suggestions for reorganization should be sent to me (jrh@cl.cam.ac.uk). I'll try to keep the archive up to date as time permits. The other HOL files from Cambridge have now moved from directory "hol" to directory "hvg/hol", but there's a soft link from "hol", so there should be no substantive change. John Harrison.