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, 28 Feb 1994 08:05:25 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA07594; Mon, 28 Feb 1994 00:41:07 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: bulk Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA07590; Mon, 28 Feb 1994 00:40:49 -0700 Received: from iraun1.ira.uka.de by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA00776; Sun, 27 Feb 1994 23:40:06 -0800 Received: from ira.uka.de by iraun1.ira.uka.de id <07355-0@iraun1.ira.uka.de>; Mon, 28 Feb 1994 08:39:35 +0100 Received: from ira.uka.de by i80fs2.ira.uka.de id <16218-0@i80fs2.ira.uka.de>; Mon, 28 Feb 1994 08:40:59 +0100 Date: Mon, 28 Feb 94 8:40:59 EST From: reetz To: info-hol@cs.uidaho.edu Cc: schneide@ira.uka.de, dehof@ira.uka.de, eisen@fzi.de Subject: HOL90.6 on 486-PC: thanks, it works! Message-Id: <"i80fs2.ira.220:28.01.94.07.41.04"@ira.uka.de> Again, thanks for all who have reponded on my question about getting HOL90.6! I was finally successful in building HOL90.6 on a 486-PC with 4MB main memory by using Linux, kernel 99pl13 with four swapspace partitions (with the maximum size of 16MB for each) and an unsupported port of sml/nj 0.93 for Linux. :-)) (*****************************************************************************) (* *) (* Ralf Reetz SFB 358 of the german research *) (* reetz@informatik.uni-karlsruhe.de society (DFG) *) (* University of Karlsruhe, Germany *) (* *) (* "we prove around in a ring and suppose, *) (* the goal sits right in the middle and knows." *) (* *) (*****************************************************************************)