Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Mon, 21 Nov 1994 08:49:33 +0000 Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA29483; Mon, 21 Nov 1994 01:39:39 -0700 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from iraun1.ira.uka.de by leopard.cs.byu.edu with SMTP (1.38.193.4/16.2) id AA29479; Mon, 21 Nov 1994 01:39:36 -0700 Received: from i80fs2.ira.uka.de by iraun1.ira.uka.de with SMTP (PP); Mon, 21 Nov 1994 09:36:09 +0100 Received: from ira.uka.de by i80fs2.ira.uka.de id <04680-0@i80fs2.ira.uka.de>; Mon, 21 Nov 1994 09:39:53 +0100 Date: Mon, 21 Nov 94 9:39:52 EST From: reetz To: info-hol@leopard.cs.byu.edu Subject: HOL90 on Solaris 2.3 Message-Id: <"i80fs2.ira.682:21.11.94.08.39.57"@ira.uka.de> Dear all, does anyboy know how to get HOL90.7 on Sun Sparc, Solaris 2.3 (!) running, i.e. sml/nj 0.93 on Sun Sparc, Solaris 2.3 ? thanks for hints! Ralf. (**************************************************************) (* *) (* Ralf Reetz *) (* *) (* University of Karlsruhe *) (* Institut fuer Rechnerentwurf und Fehlertoleranz *) (* 76128 Karlsruhe, Zirkel 2, Postfach 6980, Germany *) (* *) (* e-mail: reetz@ira.uka.de *) (* WWW: http://goethe.ira.uka.de/people/reetz/reetz.html *) (* *) (**************************************************************)