Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Tue, 30 May 1995 05:25:16 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA130526852;
          Mon, 29 May 1995 22:07:32 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from ipso.ips.oz.au by leopard.cs.byu.edu 
          with SMTP (1.37.109.15/16.2) id AA130496849;
          Mon, 29 May 1995 22:07:29 -0600
Received: from titan.UUCP by ipso.ips.oz.au with UUCP 5.65c/IDA-1.4.4/IPS-1.3;
          id AA00496;
          Tue, 30 May 1995 14:08:06 +1000 (from titan!renneber@sun1.alcatel.oz.AU 
          for info-hol@leopard.cs.byu.edu)
Received: from sun1 by titan.alcatel.oz.AU (5.61+/1.34:950217) id AA18771;
          Tue, 30 May 95 13:21:27 +1000
Received: from ipc2.alcatel.oz.au by sun1.alcatel.oz.au (4.1/SMI-4.1) 
          id AA23884; Tue, 30 May 95 13:21:25 EST
Date: Tue, 30 May 95 13:21:25 EST
From: renneber@sun1.alcatel.oz.AU (Carl Renneberg)
Message-Id: <9505300321.AA23884@sun1.alcatel.oz.au>
To: info-hol@leopard.cs.byu.edu
Subject: HOL90 on a PC - Hardware Requirements

Is anyone using HOL90 on a PC? What must the PC have, in the way of:

   - main memory;

   - swap space;

   - CPU type and speed;

in order to run HOL90 and give reasonable performance?

Thanks,

Carl Renneberg    renneber@tmx.mhs.oz.au,
                  renneber@sun1.alcatel.oz.au