blob: 4ffbef64c591835bfcfea5ef9ab2d96c223ccca5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
$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
|