diff options
| -rw-r--r-- | doc/PG-adapting.texi | 6 | ||||
| -rw-r--r-- | doc/ProofGeneral.texi | 8 |
2 files changed, 7 insertions, 7 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 5da9b5e8..4ffeb659 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -60,9 +60,9 @@ @c @ref{node} without "see". Careful for info. -@set version 4.0pre -@set emacsversion 22.2.1 -@set last-update December 2008 +@set version 4.0 +@set emacsversion 23.1 +@set last-update September 2009 @set rcsid $Id$ @ifinfo diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 0d03b745..7f3e0d9f 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -68,9 +68,9 @@ @c @ref{node} without "see". Careful for info. @c -@set version 4.0pre -@set emacsversion 22.2.1 -@set last-update July 2009 +@set version 4.0 +@set emacsversion 23.1 +@set last-update September 2009 @set rcsid $Id$ @ifinfo @@ -2996,7 +2996,7 @@ The default value is @code{t}. Whether Proof General allows text undo in the read-only region.@* If non-nil, undo will allow altering of processed text. If nil, undo history is cut at first edit -of processed text. NB: the history manipulation only works on GNU Emacs. +of processed text. The default value is @code{t}. @end defopt |