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 13:50:39 +0100 Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA06284; Wed, 15 Sep 93 05:41:34 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from iraun1.ira.uka.de by dworshak.cs.uidaho.edu with SMTP (1.37.109.4/16.2) id AA06280; Wed, 15 Sep 93 05:41:26 -0700 Received: from ira.uka.de by iraun1.ira.uka.de with SMTP (PP) id <13379-0@iraun1.ira.uka.de>; Wed, 15 Sep 1993 14:41:03 +0200 Date: Wed, 15 Sep 93 14:43:30 MET DST From: "Thomas Kropf, Univ. Karlsruhe" To: info-hol@cs.uidaho.edu Subject: "hol90.el" (emacs for hol90) Message-Id: <"iraun1.ira.387:15.08.93.12.41.12"@ira.uka.de> Using hol90, I worked for some time now with emacs running a "hacked" version of Phil Windley's hol88 emacs files for hol90. However, being not an emacs lisp expert, the version of the .el files adapted by myself do not work satisfactory. Since the hol90 community is constantly growing (:-) there is probably someone in the world who has done a better job in adapting emacs to hol90 and who is willing to share his *.el files. --Thomas-- -- Thomas Kropf, Institut fuer Rechnerentwurf und Fehlertoleranz, Universitaet Karlsruhe, P.O. Box 6980, D-76128 Karlsruhe, Germany email: kropf@ira.uka.de Tel.: +49 721 608 4220 FAX: +49 721 370 455 ************************************************************************** * * * 2nd Int. Conference on Theorem Provers in Circuit Design (TPCD94) * * 26.-29. September 1994, Bad Herrenalb (Blackforest, Germany) * * * * For more informations see directory /pub/tpcd94 on anonymous * * ftp-site goethe.ira.uka.de or send email to kropf@ira.uka.de * * * **************************************************************************