Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) 
          id <26226-0@swan.cl.cam.ac.uk>; Fri, 29 May 1992 00:37:59 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA02485;
          Thu, 28 May 92 15:13:32 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from grolsch.cs.ubc.ca by ted.cs.uidaho.edu (16.6/1.34) id AA02481;
          Thu, 28 May 92 15:13:27 -0700
Received: by grolsch.cs.ubc.ca id AA22713 (5.65c/IDA-1.3.5 
          for info-hol@ted.cs.uidaho.edu); Thu, 28 May 1992 15:13:57 -0700
Date: 28 May 92 23:13 +0100
From: Jeffrey Joyce <joyce@ca.ubc.cs>
To: info-hol <info-hol@edu.uidaho.cs.ted>
Message-Id: <4783*joyce@cs.ubc.ca>
Subject: HOL on a NeXT

Has anyone out there made HOL lately on a NeXT machine with
AKCL (akcl-1-615) ?  If so, I'd appreciate hearing whether
you ran into any problems.