Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 15 Sep 1993 16:38:19 +0100
Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA06523;
          Wed, 15 Sep 93 08:33:11 -0700
Sender: info-hol-request@cs.uidaho.edu
Errors-To: info-hol-request@cs.uidaho.edu
Precedence: bulk
Received: from panther.cs.uidaho.edu by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.4/16.2) id AA06519; Wed, 15 Sep 93 08:33:09 -0700
Received: by panther.cs.uidaho.edu id AA06404 (5.65c/IDA-1.4.4 
          for info-hol@cs.uidaho.edu); Wed, 15 Sep 1993 08:32:05 -0700
Date: Wed, 15 Sep 1993 08:32:05 -0700
From: Chris Toshok <toshok@cs.uidaho.edu>
Message-Id: <199309151532.AA06404@panther.cs.uidaho.edu>
To: info-hol@cs.uidaho.edu
In-Reply-To: "Thomas Kropf, Univ. Karlsruhe"'s message of Wed, 15 Sep 93 14:43:30 MET DST <"iraun1.ira.387:15.08.93.12.41.12"@ira.uka.de>
Subject: "hol90.el" (emacs for hol90)


    Since the hol90 community is constantly growing (:-)
    there is probably someone in the world who has done
    a better job in adapting emacs to hol90 and who is
    willing to share his *.el files.

Actually, I have been using the sml-mode.el file for hol90.  I just change
all occurences of sml to hol90 within the elisp file, and it works fine.
Since hol90 is nothing more than SML/NJ with a lot more definitions added,
the mode is pretty useful. 

Chris Toshok                     toshok@cs.uidaho.edu
Laboratory for Applied Logic
University of Idaho