Return-Path: Delivery-Date: Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Thu, 16 Sep 1993 09:33:03 +0100 Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA08869; Thu, 16 Sep 93 01:25:25 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from swan.cl.cam.ac.uk by dworshak.cs.uidaho.edu with SMTP (1.37.109.4/16.2) id AA08865; Thu, 16 Sep 93 01:25:21 -0700 Received: from skua.cl.cam.ac.uk (user ww (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.5) to cl; Thu, 16 Sep 1993 09:25:12 +0100 To: R.B.Jones@win0109.wins.icl.co.uk Cc: info-hol@cs.uidaho.edu, Wai.Wong@cl.cam.ac.uk Subject: Re: hol90.el, sml-mode.el In-Reply-To: Your message of "Wed, 15 Sep 93 17:34:50 BST." <"2949*/I=RB/S=Jones/OU=win0109/O=icl/PRMD=icl/ADMD=gold 400/C=GB/"@MHS> Date: Thu, 16 Sep 93 09:25:08 +0100 From: Wai Wong Message-Id: <"swan.cl.cam.:058950:930916082517"@cl.cam.ac.uk> Roger siad: > Where can one obtain the sml-mode.el files? These files are distributed with SML/NJ Version 0.93 in the directory tools/debug They work with gnuemacs 18.XX. but not 19.XX. I have modified the main file of this package to work with gnuemace 19.19. If there are people on this list interested in having the modified file, please let me know. I may put it in the HOL/contrib directory so it can be ftp'ed. Wai