mirror of
https://github.com/Stichting-MINIX-Research-Foundation/pkgsrc-ng.git
synced 2025-09-10 21:09:31 -04:00
19 lines
651 B
Plaintext
19 lines
651 B
Plaintext
$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
|