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

PVS on NT?

To: pvs-help@csl.sri.com
Subject: PVS on NT?
From: Venkatesh Choppella <Choppella@parc.xerox.com>
Date: Sun, 12 Apr 1998 22:51:33 PDT
Line-Fold: NO


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
_____________________________________________________________

Prev by Date: Re: Question on operator
Next by Date: Re: PVS on NT?
Prev by thread: Re: Existence TCCs
Next by thread: Re: PVS on NT?
Index(es):
- Date
- Thread