Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 4 May 1994 00:32:56 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA13178;
          Tue, 3 May 1994 17:09:54 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA13174;
          Tue, 3 May 1994 17:09:52 -0600
Received: from [130.102.192.8] by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.8/16.2) id AA14307;
          Tue, 3 May 1994 16:10:23 -0700
Received: from everest.cs.uq.oz.au by uqcspe.cs.uq.oz.au 
          id <AA18768@uqcspe.cs.uq.oz.au>; Wed, 4 May 94 09:10:07 +1000
Received: by everest (5.0/SMI-SVR4) id AA16606; Wed, 4 May 1994 09:10:01 --1000
Date: Wed, 4 May 1994 09:10:00 +1000 (EST)
From: Mark Staples <markst@everest.cs.uq.oz.au>
Subject: HOL88 with AKCL under Solaris
To: info-hol@cs.uidaho.edu
Message-Id: <Pine.3.89.9405040920.A16244-0100000@everest>
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Content-Length: 367

Hi,

I've been trying to install HOL88 2.02 with AKCL 1.624 under Solaris,
but so far with no success.  If someone has managed to get HOL88
(compiled with AKCL) working under Solaris, please contact me.

thanks,
Mark

Mark Staples                                           markst@cs.uq.oz.au
Department of Computer Science, University of Queensland, 4072, Australia