head	1.2;
access;
symbols
	pkgsrc-2026Q1:1.2.0.170
	pkgsrc-2026Q1-base:1.2
	pkgsrc-2025Q4:1.2.0.168
	pkgsrc-2025Q4-base:1.2
	pkgsrc-2025Q3:1.2.0.166
	pkgsrc-2025Q3-base:1.2
	pkgsrc-2025Q2:1.2.0.164
	pkgsrc-2025Q2-base:1.2
	pkgsrc-2025Q1:1.2.0.162
	pkgsrc-2025Q1-base:1.2
	pkgsrc-2024Q4:1.2.0.160
	pkgsrc-2024Q4-base:1.2
	pkgsrc-2024Q3:1.2.0.158
	pkgsrc-2024Q3-base:1.2
	pkgsrc-2024Q2:1.2.0.156
	pkgsrc-2024Q2-base:1.2
	pkgsrc-2024Q1:1.2.0.154
	pkgsrc-2024Q1-base:1.2
	pkgsrc-2023Q4:1.2.0.152
	pkgsrc-2023Q4-base:1.2
	pkgsrc-2023Q3:1.2.0.150
	pkgsrc-2023Q3-base:1.2
	pkgsrc-2023Q2:1.2.0.148
	pkgsrc-2023Q2-base:1.2
	pkgsrc-2023Q1:1.2.0.146
	pkgsrc-2023Q1-base:1.2
	pkgsrc-2022Q4:1.2.0.144
	pkgsrc-2022Q4-base:1.2
	pkgsrc-2022Q3:1.2.0.142
	pkgsrc-2022Q3-base:1.2
	pkgsrc-2022Q2:1.2.0.140
	pkgsrc-2022Q2-base:1.2
	pkgsrc-2022Q1:1.2.0.138
	pkgsrc-2022Q1-base:1.2
	pkgsrc-2021Q4:1.2.0.136
	pkgsrc-2021Q4-base:1.2
	pkgsrc-2021Q3:1.2.0.134
	pkgsrc-2021Q3-base:1.2
	pkgsrc-2021Q2:1.2.0.132
	pkgsrc-2021Q2-base:1.2
	pkgsrc-2021Q1:1.2.0.130
	pkgsrc-2021Q1-base:1.2
	pkgsrc-2020Q4:1.2.0.128
	pkgsrc-2020Q4-base:1.2
	pkgsrc-2020Q3:1.2.0.126
	pkgsrc-2020Q3-base:1.2
	pkgsrc-2020Q2:1.2.0.122
	pkgsrc-2020Q2-base:1.2
	pkgsrc-2020Q1:1.2.0.102
	pkgsrc-2020Q1-base:1.2
	pkgsrc-2019Q4:1.2.0.124
	pkgsrc-2019Q4-base:1.2
	pkgsrc-2019Q3:1.2.0.120
	pkgsrc-2019Q3-base:1.2
	pkgsrc-2019Q2:1.2.0.118
	pkgsrc-2019Q2-base:1.2
	pkgsrc-2019Q1:1.2.0.116
	pkgsrc-2019Q1-base:1.2
	pkgsrc-2018Q4:1.2.0.114
	pkgsrc-2018Q4-base:1.2
	pkgsrc-2018Q3:1.2.0.112
	pkgsrc-2018Q3-base:1.2
	pkgsrc-2018Q2:1.2.0.110
	pkgsrc-2018Q2-base:1.2
	pkgsrc-2018Q1:1.2.0.108
	pkgsrc-2018Q1-base:1.2
	pkgsrc-2017Q4:1.2.0.106
	pkgsrc-2017Q4-base:1.2
	pkgsrc-2017Q3:1.2.0.104
	pkgsrc-2017Q3-base:1.2
	pkgsrc-2017Q2:1.2.0.100
	pkgsrc-2017Q2-base:1.2
	pkgsrc-2017Q1:1.2.0.98
	pkgsrc-2017Q1-base:1.2
	pkgsrc-2016Q4:1.2.0.96
	pkgsrc-2016Q4-base:1.2
	pkgsrc-2016Q3:1.2.0.94
	pkgsrc-2016Q3-base:1.2
	pkgsrc-2016Q2:1.2.0.92
	pkgsrc-2016Q2-base:1.2
	pkgsrc-2016Q1:1.2.0.90
	pkgsrc-2016Q1-base:1.2
	pkgsrc-2015Q4:1.2.0.88
	pkgsrc-2015Q4-base:1.2
	pkgsrc-2015Q3:1.2.0.86
	pkgsrc-2015Q3-base:1.2
	pkgsrc-2015Q2:1.2.0.84
	pkgsrc-2015Q2-base:1.2
	pkgsrc-2015Q1:1.2.0.82
	pkgsrc-2015Q1-base:1.2
	pkgsrc-2014Q4:1.2.0.80
	pkgsrc-2014Q4-base:1.2
	pkgsrc-2014Q3:1.2.0.78
	pkgsrc-2014Q3-base:1.2
	pkgsrc-2014Q2:1.2.0.76
	pkgsrc-2014Q2-base:1.2
	pkgsrc-2014Q1:1.2.0.74
	pkgsrc-2014Q1-base:1.2
	pkgsrc-2013Q4:1.2.0.72
	pkgsrc-2013Q4-base:1.2
	pkgsrc-2013Q3:1.2.0.70
	pkgsrc-2013Q3-base:1.2
	pkgsrc-2013Q2:1.2.0.68
	pkgsrc-2013Q2-base:1.2
	pkgsrc-2013Q1:1.2.0.66
	pkgsrc-2013Q1-base:1.2
	pkgsrc-2012Q4:1.2.0.64
	pkgsrc-2012Q4-base:1.2
	pkgsrc-2012Q3:1.2.0.62
	pkgsrc-2012Q3-base:1.2
	pkgsrc-2012Q2:1.2.0.60
	pkgsrc-2012Q2-base:1.2
	pkgsrc-2012Q1:1.2.0.58
	pkgsrc-2012Q1-base:1.2
	pkgsrc-2011Q4:1.2.0.56
	pkgsrc-2011Q4-base:1.2
	pkgsrc-2011Q3:1.2.0.54
	pkgsrc-2011Q3-base:1.2
	pkgsrc-2011Q2:1.2.0.52
	pkgsrc-2011Q2-base:1.2
	pkgsrc-2011Q1:1.2.0.50
	pkgsrc-2011Q1-base:1.2
	pkgsrc-2010Q4:1.2.0.48
	pkgsrc-2010Q4-base:1.2
	pkgsrc-2010Q3:1.2.0.46
	pkgsrc-2010Q3-base:1.2
	pkgsrc-2010Q2:1.2.0.44
	pkgsrc-2010Q2-base:1.2
	pkgsrc-2010Q1:1.2.0.42
	pkgsrc-2010Q1-base:1.2
	pkgsrc-2009Q4:1.2.0.40
	pkgsrc-2009Q4-base:1.2
	pkgsrc-2009Q3:1.2.0.38
	pkgsrc-2009Q3-base:1.2
	pkgsrc-2009Q2:1.2.0.36
	pkgsrc-2009Q2-base:1.2
	pkgsrc-2009Q1:1.2.0.34
	pkgsrc-2009Q1-base:1.2
	pkgsrc-2008Q4:1.2.0.32
	pkgsrc-2008Q4-base:1.2
	pkgsrc-2008Q3:1.2.0.30
	pkgsrc-2008Q3-base:1.2
	cube-native-xorg:1.2.0.28
	cube-native-xorg-base:1.2
	pkgsrc-2008Q2:1.2.0.26
	pkgsrc-2008Q2-base:1.2
	cwrapper:1.2.0.24
	pkgsrc-2008Q1:1.2.0.22
	pkgsrc-2008Q1-base:1.2
	pkgsrc-2007Q4:1.2.0.20
	pkgsrc-2007Q4-base:1.2
	pkgsrc-2007Q3:1.2.0.18
	pkgsrc-2007Q3-base:1.2
	pkgsrc-2007Q2:1.2.0.16
	pkgsrc-2007Q2-base:1.2
	pkgsrc-2007Q1:1.2.0.14
	pkgsrc-2007Q1-base:1.2
	pkgsrc-2006Q4:1.2.0.12
	pkgsrc-2006Q4-base:1.2
	pkgsrc-2006Q3:1.2.0.10
	pkgsrc-2006Q3-base:1.2
	pkgsrc-2006Q2:1.2.0.8
	pkgsrc-2006Q2-base:1.2
	pkgsrc-2006Q1:1.2.0.6
	pkgsrc-2006Q1-base:1.2
	pkgsrc-2005Q4:1.2.0.4
	pkgsrc-2005Q4-base:1.2
	pkgsrc-2005Q3:1.2.0.2
	pkgsrc-2005Q3-base:1.2
	pkgsrc-2005Q2:1.1.0.14
	pkgsrc-2005Q2-base:1.1
	pkgsrc-2005Q1:1.1.0.12
	pkgsrc-2005Q1-base:1.1
	pkgsrc-2004Q4:1.1.0.10
	pkgsrc-2004Q4-base:1.1
	pkgsrc-2004Q3:1.1.0.8
	pkgsrc-2004Q3-base:1.1
	pkgsrc-2004Q2:1.1.0.6
	pkgsrc-2004Q2-base:1.1
	pkgsrc-2004Q1:1.1.0.4
	pkgsrc-2004Q1-base:1.1
	pkgsrc-2003Q4:1.1.0.2
	pkgsrc-2003Q4-base:1.1;
locks; strict;
comment	@# @;


1.2
date	2005.09.02.02.27.12;	author jschauma;	state Exp;
branches;
next	1.1;

1.1
date	2003.06.25.21.01.36;	author seb;	state Exp;
branches;
next	;


desc
@@


1.2
log
@Update pvs to 3.2:
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
@
text
@$NetBSD: $

--- 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
@


1.1
log
@Convert to USE_NEW_TEXINFO.
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.
@
text
@d1 1
a1 1
$NetBSD$
d3 2
a4 2
--- doc/release-notes/pvs-release-notes.info.orig	Sat Feb 15 05:37:27 2003
+++ doc/release-notes/pvs-release-notes.info
d6 1
a6 1
 This is pvs-release-notes.info, produced by makeinfo version 4.0 from
d11 3
a13 3
+* PVS Release notes: (pvs-release-notes).      PVS Specification and
+                                               Verification System release
+                                               notes.
d16 1
a16 1
 This file contains the release notes for PVS version 3.0
@