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

PVS on NT?




Are there any plans to port PVS onto Windows NT?  I believe Allegro Lisp
already runs on PC's.

Many thanks.

- venkatesh choppella
_____________________________________________________________

Venkatesh Choppella          Systems and Practices Laboratory
choppella@parc.xerox.com      Xerox Palo Alto Research Center
Ph: 650-812-4381                       3333, Coyote Hill Road
Fx: 650-812-4334                     Palo Alto, CA 94304, USA
_____________________________________________________________