diff options
Diffstat (limited to 'doc/ProofGeneral.texi')
-rw-r--r-- | doc/ProofGeneral.texi | 15 |
1 files changed, 10 insertions, 5 deletions
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. |