Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <13571-0@swan.cl.cam.ac.uk>; Wed, 22 Jan 1992 08:36:10 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA19992; Wed, 22 Jan 92 00:24:07 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from eros.uknet.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA19988; Wed, 22 Jan 92 00:23:59 -0800 X400-Received: by mta eros.uknet.ac.uk in /PRMD=UK.AC/ADMD=GOLD 400/C=GB/; Relayed; Wed, 22 Jan 1992 08:26:31 +0000 X400-Received: by /PRMD=icl/ADMD=gold 400/C=GB/; converted (ia5); Relayed; Wed, 22 Jan 1992 08:22:54 +0000 Date: Wed, 22 Jan 1992 08:22:54 +0000 X400-Originator: R.B.Jones@uucp.win0109 X400-Mts-Identifier: [/PRMD=icl/ADMD=gold 400/C=GB/;win0109 0000012600001056] Original-Encoded-Information-Types: undefined X400-Content-Type: P2-1984 (2) Content-Identifier: 1056 From: R.B.Jones@uucp.win0109 Message-Id: <"1056*/I=RB/S=Jones/OU=win0109/O=icl/PRMD=icl/ADMD=gold 400/C=GB/"@MHS> To: info-hol@edu.uidaho.cs.ted Subject: EMACS Can anyone tell me where to get EMACs from (for running HOL on SUN3)? Roger Jones International Computers Limited R.B.Jones@win0109.uucp