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, 9 Nov 1994 15:38:21 +0000
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA18444;
          Wed, 9 Nov 1994 08:06:06 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from jaguar.cs.byu.edu by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA18439;
          Wed, 9 Nov 1994 08:06:05 -0700
Received: from localhost by jaguar.cs.byu.edu (1.38.193.4/CS-Client) id AA25730;
          Wed, 9 Nov 1994 08:01:36 -0700
Message-Id: <9411091501.AA25730@jaguar.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: Peter Bumbulis: Re: saving a HOL image
Date: Wed, 09 Nov 1994 08:01:34 -0700
From: Phil Windley <windley@lal.cs.byu.edu>


I thought the following response to my question deserved wider circulation
(since it worked ;-). 

--phil--

------- Forwarded Message

Subject: Re: saving a HOL image
From: Peter Bumbulis <peter@csg.uwaterloo.ca>
To: windley@leopard.cs.byu.edu (Phil Windley)
Date: Tue, 8 Nov 1994 21:57:55 -0500

>     hol: No such file or directory
> 
> I'm using HOL built with AKCL, if that makes a difference.
> 
Make sure you have a copy of (or a link to) hol in your current directory
(the directory you are doing the saving in.)

Peter

------- End of Forwarded Message