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; Wed, 15 Sep 1993 17:54:15 +0100 Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA06725; Wed, 15 Sep 93 09:41:37 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from relay1.pipex.net by dworshak.cs.uidaho.edu with SMTP (1.37.109.4/16.2) id AA06721; Wed, 15 Sep 93 09:41:35 -0700 Received: from pipex.net by relay1.pipex.net with SMTP (PP) id <28877-2@relay1.pipex.net>; Wed, 15 Sep 1993 17:41:18 +0100 X400-Received: by mta relay2.pipex.net in /PRMD=pipex/ADMD=cwmail/C=GB/; Relayed; Wed, 15 Sep 1993 17:40:25 +0100 X400-Received: by /PRMD=icl/ADMD=gold 400/C=GB/; Relayed; Wed, 15 Sep 1993 17:34:50 +0100 Date: Wed, 15 Sep 1993 17:34:50 +0100 X400-Originator: R.B.Jones@win0109.wins.icl.co.uk X400-Recipients: info-hol@cs.uidaho.edu X400-Mts-Identifier: [/PRMD=icl/ADMD=gold 400/C=GB/;win0109 0000012600002949] X400-Content-Type: P2-1984 (2) Content-Identifier: 2949 From: R.B.Jones@win0109.wins.icl.co.uk Message-Id: <"2949*/I=RB/S=Jones/OU=win0109/O=icl/PRMD=icl/ADMD=gold 400/C=GB/"@MHS> To: info-hol@cs.uidaho.edu Subject: hol90.el, sml-mode.el Where can one obtain the sml-mode.el files? Roger Jones International Computers Limited