Return-Path: Return-Path: Received: from nsf.ac.uk by swan.cl.cam.ac.uk via JANET with NIFTP to fgate (PP) id <27092-0@swan.cl.cam.ac.uk>; Tue, 12 Mar 1991 07:01:08 +0000 Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk with SMTP inbound id <27671-36@sun2.nsfnet-relay.ac.uk>; Mon, 11 Mar 1991 23:25:59 +0000 Received: from [129.101.100.20] by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP id aa15904; 11 Mar 91 22:53 GMT Received: from groucho.mrc.uidaho.edu by ted.cs.uidaho.edu (15.11/1.34) id AA08864; Mon, 11 Mar 91 15:07:53 pst Received: from cheetah.cs.uidaho.edu by groucho.mrc.uidaho.edu with SMTP (15.11/15.6) id AA21236; Mon, 11 Mar 91 15:08:47 pst Received: by cheetah.cs.uidaho.edu (AIX 2.1.2/3.14) id AA01564; Mon, 11 Mar 91 15:09:05 PST Message-Id: <9103112309.AA01564@cheetah.cs.uidaho.edu> To: info-hol@edu.uidaho.cs.ted Subject: HOL now available by FTP In-Reply-To: Your message of Mon, 11 Mar 91 14:57:20 -0800. <9103112257.AA11941@snake.cs.uidaho.edu> Date: Mon, 11 Mar 91 15:09:04 -0800 From: Phil Windley First: I apologize for the test message that you all undoubtably saw. We were testing a new alias and it got away from us. HOL version 1.12 is now available from CS.UIDAHO.EDU via anonymous FTP. It is located in the pub/hol directory. HOL is available as a single large TAR format file and as 6 smaller files (which when combined create the large TAR format file). The README file explains the contents of the directory and gives unpakcing instructions for the files. Please contact me if there are any problems or questions. Cheers, --phil-- Phil Windley | windley@cs.uidaho.edu Department of Computer Science | University of Idaho | Phone: 208.885.6501 Moscow, ID 83843 | Fax: 208.885.6645