Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Tue, 1 Dec 1992 18:52:45 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA10708; Tue, 1 Dec 92 10:35:15 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from toadflax.cs.ucdavis.edu by ted.cs.uidaho.edu (16.6/1.34) id AA10703; Tue, 1 Dec 92 10:35:00 -0800 Received: from rapnet.sanders.lockheed.com ([129.86.24.104]) by toadflax.cs.ucdavis.edu (4.1/UCD.CS.2.0) id AA19041; Tue, 1 Dec 92 10:34:14 PST Received: by rapnet.sanders.lockheed.com (5.57/Ultrix3.0-C) id AA15996; Tue, 1 Dec 92 13:36:22 -0500 Received: by ysw528.sanders.lockheed.com (4.1/SMI-4.1) id AA01115; Tue, 1 Dec 92 13:30:21 EST Date: Tue, 1 Dec 92 13:30:21 EST From: dsilveir@edu.ucdavis.ysw528 (D. Silveira) Message-Id: <9212011830.AA01115@ysw528.sanders.lockheed.com> To: info-hol@edu.ucdavis.cs Subject: lisp search Cc: dsilveir@edu.tufts.ee.osiris I am having trouble finding public domain lisp compilers/interpreters to use on a SPARCstation IPX (sun 4/sunOS4). Could you tell me where I could find one for this hardware that will work with the HOL system. I am also trying to find a public domain lisp that will work on a DECstation3100 My email address is dsilveir@osiris.ee.tufts.edu I am trying to find the lisp for both systems and would appreciate any info Thanx, Doug Silveira