Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!wasatch!cs.utexas.edu!uunet!mcvax!ukc!warwick!inmos!yatton!des
From: des@yatton.inmos.co.uk (David Shepherd)
Newsgroups: comp.lang.lisp
Subject: Re: Is the a working franz lisp for Sun OS 4.0 ?
Message-ID: <1347@brwa.inmos.co.uk>
Date: 2 May 89 07:48:00 GMT
References: <149@VAX1.CC.UAKRON.EDU>
Sender: news@inmos.co.uk
Reply-To: des@inmos.co.uk (David Shepherd)
Organization: INMOS Limited, Bristol, UK.
Lines: 13

In article <149@VAX1.CC.UAKRON.EDU> tim@VAX1.CC.UAKRON.EDU (Timothy H Smith) writes:
>	Does anyone have the public domain franz lisp working
>on SunOS 4.0?  If so where can I get a copy of it?  What is the
>newest version of the public domain version?

I got a (already slightly modified) version of Franz 38.92 which originally came
from a Sun Users Group tape to work under SunOS 4 and posted diffs here. I've been
using this as the core of a theorem prover and have had no problems in the last
3 months with it. It may be ftp-able (possibly only with the rest of the theorem
prover ;-) ..... I'll check up on this.

david shepherd
INMOS ltd.