From paul@tina.ucdavis.edu@munnari.cs.mu.oz Wed Mar  8 22:27:04 1989
Date: Tue, 7 Mar 89 17:08:30 PST
From: paul%tina.stanford.edu@munnari.oz (Paul N. Loewenstein)
To: info-hol@clover.ucdavis.edu
Subject: SUNOS4 and franz-lisp
Status: RO

Before others try the same thing, I have just tried applying David
Shepherd's SUNOS4 patches to the version of franz-lisp distributed
with HOL. It does not appear to work, although that could be due to
clumsy editing. The solution is obviously to get the version
distributed by the SUN users group. I can get a copy with some effort;
I have to find a member at National to send in an order form with a
cheque, and then wait for a tape. Does anyone have it so it can be put
in the HOL distribution?

                 Paul.















