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

Re: PVS on NT?




I apologize for not checking your home page first.  I believe you do
have plans to port PVS to NT, but not immediately.

Please ignore my earlier email.

- venkatesh

    From: Venkatesh Choppella <Choppella>
    Date: Sun, 12 Apr 1998 22:51:33 PDT


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

    Many thanks.

    - venkatesh choppella