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

PVS on Mac ?



Could PVS run on Mac 0S X ?
I have read message in April 2002 of someone willing to do a port on 
this system.
Is this port already done, in project ?

     Sincerely yours

-- 
Michel Levy
36 rue George Sand 38400 Saint Martin d'Hères
email : Michel.Levy@imag.fr
http://www-lsr.imag.fr/users/Michel.Levy/