Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from lal.cs.byu.edu (actually leopard.cs.byu.edu !OR! info-hol-request@lal.cs.byu.edu) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Tue, 27 Sep 1994 02:34:31 +0100
Received: by lal.cs.byu.edu (1.38.193.4/16.2) id AA15751;
          Mon, 26 Sep 1994 19:31:31 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from agape.comp01.hkbc.hk by lal.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA15744;
          Mon, 26 Sep 1994 19:31:03 -0600
Received: by agape (8.6.9/8.6.9) id JAA20875; Tue, 27 Sep 1994 09:22:14 +0800
Date: Tue, 27 Sep 1994 09:22:14 +0800
From: "Dr. Wai Wong" <wwong@pistis.comp01.hkbc.hk>
Message-Id: <199409270122.JAA20875@agape>
To: es774@eng.warwick.ac.uk
Cc: info-hol@lal.cs.byu.edu, wwong@agape
In-Reply-To: <2472.9409261420@eng.warwick.ac.uk> (es774@eng.warwick.ac.uk)
Subject: Re: hol-486-586

Hi, Karim,

	Very nice to hear from you. I'd also like to know more about
your port of HOL to PC. In particular, the following information:

	1) What was the operating system? It is Linux?
        2) Did you port AKCL? Which C compiler did you used? If you
use Linux which include a version of gcc, the GNU C compiler, I think
it would be less difficult to port GCL, the GNU Common LISP.
        3) Have you check out SML/NJ to see whether it can be built on
Linux? If the answer is yes, HOL90 may be ported to that platform.

Wai