Module Name:	pkgsrc
Committed By:	jschauma
Date:		Tue Sep 24 18:00:00 UTC 2002

Modified Files:
	pkgsrc/doc: CHANGES

Log Message:
Note initial import of devel/pvs.  See http://pvs.csl.sri.com/


To generate a diff of this commit:
cvs rdiff -r1.50 -r1.51 pkgsrc/doc/CHANGES

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