Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0)
          id <15800-0@swan.cl.cam.ac.uk>; Mon, 6 Jan 1992 19:49:19 +0000
Received: by ted.cs.uidaho.edu (15.11/1.34) id AA13630;
          Mon, 6 Jan 92 11:32:25 pst
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (15.11/1.34) id AA13624;
          Mon, 6 Jan 92 11:32:06 pst
Received: from LocalHost.cs.ucla.edu
          by maui.cs.ucla.edu (Sendmail 5.61b+YP/3.13) id AA04878;
          Sat, 4 Jan 92 02:08:20 -0800
Message-Id: <9201041008.AA04878@maui.cs.ucla.edu>
To: info-hol@edu.uidaho.cs.ted
Subject: A trick that solves my problem
Date: Sat, 04 Jan 92 02:08:19 PST
From: chou@edu.ucla.cs

My thanks to all who responded to my question regarding AKCL on NeXT.
Since the problem results from AKCL-1-599's inability to deal with ~
(home directory) properly, it seems to me that all I have to do is
to, using set_search_path, replace ~ by its full pathname in the
default search path.  The price I have to pay is to have a hol-init.ml
doing that job in every directory from which I may call hol.  I tested
this idea a little bit and it seems to work.  But I'm only a beginner
in HOL, so if any of you HOL experts see a danger in doing this, please
do let me know.

The ideal solution is of course to port the latest version of AKCL (1-605)
to NeXT.  But, judging from the source code of AKCL-1-599-NeXT provided
by Yonezawa, this seems to need a major undertaking.  Knowing very little
about AKCL or NeXT (or HOL for that matter), I don't think I can do it.

By the way, are there people runnig HOL on NeXT?  What Lisp do they use?

Thanks again,
Ching-Tsun Chou