5add9c1ebf
According to http://pvs.csl.sri.com/announcements/pvs3.2-release-notes.shtml this contains a number of bug fixes as well as the following improvements and added features: -Startup Script Update -Theory Interpretation Enhancements -References to Mapped Entities -Cleaning up Specifications -Binary Files -Generating HTML -Default Strategies -Better handling of TCCs in Proofs -typepred! rule and all-typepreds strategy -grind-with-ext and reduce-with-ext -New forward chain commands -TeX Substitutions -add-declaration and IMPORTINGs -Prelude additions |
||
|---|---|---|
| .. | ||
| files | ||
| patches | ||
| DESCR | ||
| distinfo | ||
| Makefile | ||
| PLIST | ||