Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Mon, 14 Dec 1992 08:37:46 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA07006; Sun, 13 Dec 92 22:21:11 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from nene.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA07001; Sun, 13 Dec 92 22:21:01 -0800 Received: from ely.cl.cam.ac.uk (user jvt (rfc931)) by nene.cl.cam.ac.uk with SMTP (PP-6.3) to cl; Mon, 14 Dec 1992 06:20:06 +0000 Received: by ely.cl.cam.ac.uk (5.57/SMI-3.0DEV3) id AA03702; Mon, 14 Dec 92 06:20:01 GMT Date: Mon, 14 Dec 92 06:20:01 GMT From: John.Van-Tassel@uk.ac.cam.cl Message-Id: <9212140620.AA03702@ely.cl.cam.ac.uk> To: chou@edu.ucla.cs, info-hol@edu.uidaho.cs.ted Subject: Re: How long it takes to build HOL 2.01 Hi, The LOG that is distributed with the system was done (as the built hol banner says) on a sun4. To be more specific, it was a Sparc 10 with 96 MB of memory. JVT