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
18 lines
651 B
Text
18 lines
651 B
Text
$NetBSD: patch-ab,v 1.2 2005/09/02 02:27:12 jschauma Exp $
|
|
|
|
--- doc/release-notes/pvs-release-notes.info.orig 2004-11-04 03:54:45.000000000 -0500
|
|
+++ doc/release-notes/pvs-release-notes.info 2005-09-01 10:53:02.000000000 -0400
|
|
@@ -1,6 +1,13 @@
|
|
This is pvs-release-notes.info, produced by makeinfo version 4.7 from
|
|
pvs-release-notes.texi.
|
|
|
|
+INFO-DIR-SECTION Programming & development tools
|
|
+START-INFO-DIR-ENTRY
|
|
+* PVS Release notes: (pvs-release-notes). PVS Specification and
|
|
+ Verification System release
|
|
+ notes.
|
|
+END-INFO-DIR-ENTRY
|
|
+
|
|
This file contains the release notes for PVS versions 3.0 - 3.2
|
|
|
|
Copyright 2002 SRI International
|