pkgsrc - [no description]

Age	Commit message (Collapse)	Author	Files	Lines
2003-06-25	Convert to USE_NEW_TEXINFO.	seb	1	-1/+2
	Set the INFO_DIR to pvs/doc/release-notes where the info file pvs-release-notes.info gets installed. Patch the info file so install-info finds a section and an entry in it for the directory file.
2003-03-31	Upgrade to 3.1, a bug-fix release. (Not much more information available	jschauma	1	-10/+10
	from the website.)
2002-12-20	Upgrade to 3.0 (previous version was actually 3.0-beta.) -> bump	jschauma	1	-10/+10
	PKGREVISION. Also use buildlink2 and emacs.mk for simplicity.
2002-09-24	Initial import of devel/pvs into pkgsrc:	jschauma	1	-0/+11
	PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. It is intended to capture the state-of-the-art in mechanized formal methods and to be sufficiently rugged that it can be used for significant applications. For more details, please see http://pvs.csl.sri.com/ and http://pvs.csl.sri.com/overview.html This package was tested on NetBSD-1.6-i386 and Linux-i386, it might work (but might need some modification) on NetBSD-1.6-sparc and SunOS as well. For i386, NetBSD 1.6 is required -- on 1.5.x versions, it will (seemingly) install fine but not work correctly in various instances.