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; Wed, 2 Nov 1994 11:05:48 +0000 Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA15232; Wed, 2 Nov 1994 04:01:56 -0700 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from oberon.inmos.co.uk by leopard.cs.byu.edu with SMTP (1.38.193.4/16.2) id AA15228; Wed, 2 Nov 1994 04:01:49 -0700 Received: from frogland.inmos.co.uk by oberon.inmos.co.uk; Wed, 2 Nov 1994 10:53:44 GMT From: David Shepherd Message-Id: <8049.9411021048@frogland.inmos.co.uk> Subject: Re: bhogan@bedlam: HOL90 on a PC To: es774@eng.warwick.ac.uk Date: Wed, 2 Nov 1994 10:48:39 +0000 (GMT) Cc: jug@itd.dsto.gov.au, info-hol@leopard.cs.byu.edu In-Reply-To: <17102.9411020951@eng.warwick.ac.uk> from "es774@eng.warwick.ac.uk" at Nov 2, 94 09:51:23 am X-Mailer: ELM [version 2.4 PL20] Content-Type: text Content-Length: 682 es774@eng.warwick.ac.uk has said: > In my opinion it does not matter what version of HOL you are running as long > as you have plenty of RAM everything runs much faster. I never thought it > would be possible to run HOL on a system with 8 Meg RAM but it is if you > use HOL2.02 not HOL90. back in the days of franz lisp compiled HOL's I'm sure you could manage with 4Mbs if really pushed :-) -------------------------------------------------------------------------- david shepherd: des@inmos.co.uk tel: 0454-616616 x 638 inmos ltd, 1000 aztec west, almondsbury, bristol, bs12 4sq "I am not a nut --- I am a human being."