From 43f99d9af09b511e1bef318310abc2cc15fbc51b Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 21 Jun 2002 21:32:02 +0000
Subject: GPL, 3.4 dates

---
 doc/PG-adapting.texi  | 14 +++++++++-----
 doc/ProofGeneral.texi | 15 ++++++++++-----
 2 files changed, 19 insertions(+), 10 deletions(-)

(limited to 'doc')

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 899ce024..1958e841 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -61,10 +61,10 @@
 @c        @ref{node}                without "see". Careful for info.
 
 
-@set version 3.3
+@set version 3.4
 @set xemacsversion 21.4
-@set fsfversion 20.7
-@set last-update September 2001
+@set fsfversion 21.2
+@set last-update July 2002
 @set rcsid $Id$
 
 @ifinfo
@@ -137,8 +137,12 @@ preserved on all copies.
 @sp 2
 
 This manual documents Proof General, Version @value{version}, for use
-with XEmacs @value{xemacsversion} and GNU Emacs @value{fsfversion}
-or later versions.
+with XEmacs @value{xemacsversion} and GNU Emacs @value{fsfversion} or
+later versions.  Proof General is distributed under the terms of the GNU
+General Public License (GPL); please check the accompanying file
+@file{COPYING} for more details.
+
+@sp 1
 
 Visit Proof General on the web at @code{http://www.proofgeneral.org}
 
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 83e8341c..1d58f559 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -63,10 +63,10 @@
 @c        @ref{node}                without "see". Careful for info.
 @c
 
-@set version 3.4pre
+@set version 3.4
 @set xemacsversion 21.4
-@set fsfversion 20.7
-@set last-update December 2001
+@set fsfversion 21.2
+@set last-update July 2002
 @set rcsid $Id$
 
 @ifinfo
@@ -139,8 +139,10 @@ preserved on all copies.
 @sp 2
 
 This manual documents Proof General, Version @value{version}, for use
-with XEmacs @value{xemacsversion} and GNU Emacs @value{fsfversion}
-or later versions.
+with XEmacs @value{xemacsversion} and GNU Emacs @value{fsfversion} or
+later versions.  Proof General is distributed under the terms of the GNU
+General Public License (GPL); please check the accompanying file
+@file{COPYING} for more details.
 
 @sp 1
 
@@ -224,6 +226,9 @@ Proof General 3.4 continues from version 3.3 with improvements (in
 particular, much better retraction support in Coq) and compatibility
 fixes for new versions of Emacs (in particular, GNU Emacs 21).
 
+As of version 3.4, Proof General is distributed under the GNU General
+Public License (GPL).
+
 See the @file{CHANGES} file in the distribution for more complete
 details of changes since 3.3.
 
-- 
cgit v1.2.3