Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Wed, 2 Sep 1992 16:26:45 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA12077; Wed, 2 Sep 92 08:09:59 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA12071; Wed, 2 Sep 92 08:09:50 -0700 Received: from guillemot.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP-6.2) to cl; Wed, 2 Sep 1992 15:19:03 +0100 To: info-hol@edu.uidaho.cs.ted, leonard@com.dec.enet.ricks Cc: Tom.Melham@uk.ac.cam.cl Subject: Re: emacs support for HOL In-Reply-To: Your message of Tue, 01 Sep 92 14:36:18 -0400. <9209011830.AA22892@easynet.crl.dec.com> Date: Wed, 02 Sep 92 15:18:47 +0100 From: Tom Melham Message-Id: <"swan.cl.ca.593:02.08.92.14.19.08"@cl.cam.ac.uk> > 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? There's an exmacs contribtion from Phil Windley in hol/contrib/hol-emacs. Users please note that any further contributions of this kind are most welcome! Send them to John Harrison (jrh@cl.cam.ac.uk), and he'll install them in time for the version 2.01 release. Tom