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; Fri, 24 Sep 1993 15:35:13 +0100 Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA29585; Fri, 24 Sep 93 07:18:52 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from caliban.serg.cs.unsw.OZ.AU by dworshak.cs.uidaho.edu with SMTP (1.37.109.4/16.2) id AA29581; Fri, 24 Sep 93 07:18:49 -0700 Received: from prospero. (prospero.serg.cs.unsw.OZ.AU) by caliban.serg.cse.unsw.edu.au with SMTP id AA00335 (5.65c/IDA-1.4.4 for ); Sat, 25 Sep 1993 00:21:32 +1000 Date: Sat, 25 Sep 1993 00:21:32 +1000 From: Ken Robinson Message-Id: <199309241421.AA00335@caliban.serg.cse.unsw.edu.au> Received: by prospero. (5.0/SMI-SVR4) id AA01369; Sat, 25 Sep 93 00:18:59 EST To: info-hol@cs.uidaho.edu Subject: HOL 88 or 90 for Solaris 2.x Content-Length: 598 Has anyone ported HOL to Solaris 2 Sparc? I assume that HOL90 would be the easier to port since the base SML is already ported to Solaris. Also where do I find HOL90? Thanks, Ken Robinson ------------------------------------------------------------------------------ Software Engineering Research Group Phone: +61 2 697 4045 School of Computer Science and Engineering Fax: +61 2 313 7987 University of New South Wales e-mail: kenr@cse.unsw.EDU.AU PO Box 1, Kensington, NSW, Australia 2033 ------------------------------------------------------------------------------