Subject: CVS commit: pkgsrc/devel/pvs
To: None <>
From: Jan Schaumann <>
List: pkgsrc-changes
Date: 09/02/2005 02:27:12
Module Name:	pkgsrc
Committed By:	jschauma
Date:		Fri Sep  2 02:27:12 UTC 2005

Modified Files:
	pkgsrc/devel/pvs: Makefile PLIST distinfo
	pkgsrc/devel/pvs/files: MESSAGE
	pkgsrc/devel/pvs/patches: patch-aa patch-ab

Log Message:
Update pvs to 3.2:
According to
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

To generate a diff of this commit:
cvs rdiff -r1.19 -r1.20 pkgsrc/devel/pvs/Makefile
cvs rdiff -r1.5 -r1.6 pkgsrc/devel/pvs/PLIST pkgsrc/devel/pvs/distinfo
cvs rdiff -r1.1.1.1 -r1.2 pkgsrc/devel/pvs/files/MESSAGE
cvs rdiff -r1.3 -r1.4 pkgsrc/devel/pvs/patches/patch-aa
cvs rdiff -r1.1 -r1.2 pkgsrc/devel/pvs/patches/patch-ab

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.