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; Mon, 25 Sep 1995 23:04:24 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA116446251;
          Mon, 25 Sep 1995 10:24:11 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from mailman.etecnw.com by leopard.cs.byu.edu 
          with SMTP (1.37.109.15/16.2) id AA116416248;
          Mon, 25 Sep 1995 10:24:08 -0600
Received: from ellie.etecnw.com by mailman.etecnw.com (4.1/SMI-4.1) id AA04785;
          Mon, 25 Sep 95 09:23:18 PDT
Date: Mon, 25 Sep 95 09:23:18 PDT
From: bill@etecnw.com (Bill Margolis)
Message-Id: <9509251623.AA04785@mailman.etecnw.com>
To: info-hol@leopard.cs.byu.edu
Subject: Thanx for Linux-HOL build aid.

Howdy all,
	I want to thank all who responded to my request for help
	in building HOL from Linux, some of whom my mail system 
	seems unable to respond back to directly, in particular to:

		Tom,Carl,Marco,Greg, and Budi.


	Actually, when I merely used the GCL 1.0 (aka ur-akcl) from the 
	InfoMagic CD from which I had built my Linux system, the HOL seems 
	to have built just fine within an hour or so. (I have 16Mbyte RAM 486 
	system).   

	(On the other hand, the benchmark test was rather slow).

	So I suppose it was merely a case of making sure that the library
	versions were compatible.

-thanks again,
bill margolis
( bill@etecnw.com )