From windley@cheetah  Wed Sep 20 12:25:02 1989
Received: by iris (5.57/3.14)
        id AA25273; Wed, 20 Sep 89 12:25:02 PDT
Received: from cheetah.ucdavis.edu by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA23572; Wed, 20 Sep 89 12:03:23 PDT
Received: by cheetah.ucdavis.edu (AIX  2.1.2/3.14)
        id AA04151; Wed, 20 Sep 89 12:01:05 PDT
Message-Id: <8909201901.AA04151@cheetah.ucdavis.edu>
To: info-hol@clover
Subject: HOL/Emacs interface
Date: Wed, 20 Sep 89 12:01:04 -0800
From: Phil Windley <windley@cheetah>


A new version of the HOL Emacs interface is available for anonymous ftp
from clover.ucdavis.edu.

The following changes have been made since the last release:

a.) Electric HOL mode is working now.

b.) The name of interpreter,el was changed to interp.el because it
    didn't work on machines that only support 14 character file names.

c.) A history function was added that records expressions sent to HOL
    in the interaction buffer.  This is toggled by the C-c C-l key
    sequence.

d.) The send-buffer command (ESC o) works now.

e.) A command for recentering the interaction buffer was added (C-c C-l).

Please send bug reports to windley@cheetah.ucdavis.edu.

--phil--

Phil Windley                          |  windley@iris.ucdavis.edu
Division of Computer Science          |  ucbvax!ucdavis!iris!windley
College of Engineering                |  (916) 752-7324 (or 3168)
University of California, Davis       |  Davis, CA 95616

