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

Re: Run




Mark -

The fix is small, and is included in the new PVS distribution,
which we hope will be available next week.  I'd suggest
waiting until then, and downloading the new system.

Watch the PVS mailing list for announcement of PVS 2.2 next week.

Dave

---
Dr Dave Stringer-Calvert, Software Engineer, Computer Science Laboratory,
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA.
Phone: (650) 859-3291    Fax: (650) 859-2844   Email: dave_sc@csl.sri.com