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; Tue, 8 Nov 1994 21:51:57 +0000
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA23035;
          Tue, 8 Nov 1994 14:50:44 -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 AA23030;
          Tue, 8 Nov 1994 14:50:43 -0700
Received: from localhost by jaguar.cs.byu.edu (1.38.193.4/CS-Client) id AA15111;
          Tue, 8 Nov 1994 14:46:21 -0700
Message-Id: <9411082146.AA15111@jaguar.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: saving a HOL image
Date: Tue, 08 Nov 1994 14:46:20 -0700
From: Phil Windley <windley@lal.cs.byu.edu>


Tell me where I'm being stupid.  The HOL documentation say:

    save : (string -> void)

    SYNOPSIS

    Saves an executable version of HOL in its current state. 

    DESCRIBE

    The call save `image` will save an executable core image, called image,
    of HOL in its current state. This means that if this image is
    subsequently executed instead of the normal HOL, any bindings set up
    will be preserved.

Yet, when I start hol and type "save `image`;;" I get the following
message:

    hol: No such file or directory

I'm using HOL built with AKCL, if that makes a difference.

--phil--