diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 22:33:45 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 22:33:45 +0000 |
| commit | fda89c27a407b71118adc3950d618b6518b625dc (patch) | |
| tree | 9ef1cd99a9767bc28331f9af24d51de270060f16 /doc | |
| parent | fa66cd551c96759c6a34d42fc79422251c74c4f6 (diff) | |
Update versions
Diffstat (limited to 'doc')
| -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 |