[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] OS X?



Hello,

in your announcement for the PVS course (in May) it is mentioned that  
PVS runs on Mac Os X in beta form. Is it possible to obtain a copy   
of this beta version?

Thank you,
Vladimir.