I second this request - and would be willing to help with a port to Mac OS X.
- David (cok@frontiernet.net)
Pertti Kellomäki <pk@cs.tut.fi> Sent by: pvs-owner@csl.sri.com
04/12/2002 04:58 AM
To: pvs@csl.sri.com
cc:
Subject: PVS on Mac?
Hello all¸
I am contemplating an Apple iBook, which seems to be a nice choice
if one wants a Unix laptop. A major drawback is that PVS does not
currently run on it. Is there any chance of a version of PVS for
PPC and Mac OS X?
--
pertti