diff options
Diffstat (limited to 'doc/ProofGeneral.texi')
| -rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index e7bfa200..c12d42e6 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -2972,7 +2972,7 @@ If non-nil, an error is given when an attempt is made to edit the read-only region. If nil, Proof General is more relaxed (but may give you a reprimand!). -The default value is @code{strict}. +The default value is @code{t}. @end defopt @c TEXI DOCSTRING MAGIC: proof-allow-undo-in-read-only |