blob: c10d48ba9f2ef7017b628a810b1b1b260ee6b79f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
$NetBSD: patch-ab,v 1.1 2003/06/25 21:01:36 seb Exp $
--- doc/release-notes/pvs-release-notes.info.orig Sat Feb 15 05:37:27 2003
+++ doc/release-notes/pvs-release-notes.info
@@ -1,6 +1,13 @@
This is pvs-release-notes.info, produced by makeinfo version 4.0 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 version 3.0
Copyright 2002 SRI International
|