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

[PVS-ANNOUNCE] PVS 4.2 available

PVS 4.2 is now available - this mostly fixes bug relating to
recursive judgements and theory interpretations - for more
details see the release notes at

As usual, please let us know of any bugs or new features you
would like to see, and feel free to contribute to the PVS wiki.
at http://pvs-wiki.csl.sri.com

Sam Owre