Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Tue, 1 Sep 1992 19:44:47 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA07249; Tue, 1 Sep 92 11:37:34 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from crl.dec.com by ted.cs.uidaho.edu (16.6/1.34) id AA07232; Tue, 1 Sep 92 11:37:25 -0700 Received: by crl.dec.com; id AA25410; Tue, 1 Sep 92 14:22:50 -0400 Received: by easynet.crl.dec.com; id AA22892; Tue, 1 Sep 92 14:30:35 -0400 Message-Id: <9209011830.AA22892@easynet.crl.dec.com> Received: from ricks.enet; by crl.enet; Tue, 1 Sep 92 14:36:18 EDT Date: Tue, 1 Sep 92 14:36:18 EDT From: "Tim Leonard, DTN 225-5809, HLO2-3/C11" To: info-hol@edu.uidaho.cs.ted Apparently-To: info-hol@ted.cs.uidaho.edu Subject: emacs support for HOL It seems likely that some HOL hackers have developed emacs code to support HOL work. Are any of you willing to 'fess up, and say what you've got? Tim