The latest version of PVS is 3.1. To determine your current version,
type M-x show-pvs-version --- if you need to upgrade, follow the
instructions on the web site at
or ftp to ftp://pvs.csl.sri.com/pub/pvs
and read the INSTALL file.
Any problems, please send mail to firstname.lastname@example.org