diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-06-21 21:32:02 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-21 21:32:02 +0000 |
| commit | 43f99d9af09b511e1bef318310abc2cc15fbc51b (patch) | |
| tree | 897d158b7a5d9735055efe0da1d120061a6a2951 | |
| parent | dea0981995cb184ca0ce35ef41157867c2750f1d (diff) | |
GPL, 3.4 dates
| -rw-r--r-- | doc/PG-adapting.texi | 14 | ||||
| -rw-r--r-- | doc/ProofGeneral.texi | 15 |
2 files changed, 19 insertions, 10 deletions
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. |