Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from lal.cs.byu.edu (actually leopard.cs.byu.edu !OR! info-hol-request@lal.cs.byu.edu) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Mon, 26 Sep 1994 16:00:08 +0100
Received: by lal.cs.byu.edu (1.38.193.4/16.2) id AA03872;
          Mon, 26 Sep 1994 08:48:43 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from canopus.cc.umanitoba.ca by lal.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA03867;
          Mon, 26 Sep 1994 08:48:37 -0600
Received: from eeserv.ee.UManitoba.CA (eeserv.ee.umanitoba.ca [130.179.8.1]) 
          by canopus.cc.umanitoba.ca (8.6.9/8.6.9) with SMTP id JAA06800 ;
          Mon, 26 Sep 1994 09:42:55 -0500
From: jfpeters@ee.UManitoba.CA
Received: from ic11.ee.umanitoba.ca by eeserv.ee.UManitoba.CA (4.1/25a-eef) 
          id AA11670; Mon, 26 Sep 94 09:42:52 CDT
Received: by ic11.ee.umanitoba.ca (4.1/25-eef) id AA01498;
          Mon, 26 Sep 94 09:42:51 CDT
Date: Mon, 26 Sep 94 09:42:51 CDT
Message-Id: <9409261442.AA01498@ic11.ee.umanitoba.ca>
To: es774@eng.warwick.ac.uk, info-hol@lal.cs.byu.edu
Subject: Re: hol-486-586

Hi, Karim!

Yes, I would like to obtain further information from you on how to
install hol on a 386 machine.

Cheers,
Jim