From windley@cheetah.ucdavis.edu@munnari.cs.mu.oz Tue Mar  7 12:07:45 1989
To: info-hol@clover.ucdavis.edu
Subject: Franz for SUN OS
Date: Mon, 06 Mar 89 12:00:50 -0800
From: Phil Windley <windley%cheetah.ucdavis.edu@munnari.oz>
Status: RO

If you are going to make HOL88 from the files on Clover and use SUN OS,
you'll need this information.

David Shepherd from INMOS (one of the readers of this mailing list) has a
set of context diffs that can be applied to the lisp source to make it
compile under SUN OS.  He posted them to a news group a while back, so I
don't think he'll care if I make them available.  His diffs and an
explaination are in a text file called franz.for.SUNOS in the ftp directory
on Clover.  You can get it the same way you get the sources for HOL88.

Let me know if there are any problems getting HOL88.

--phil--









