diff options
author | 2009-08-17 13:49:44 +0000 | |
---|---|---|
committer | 2009-08-17 13:49:44 +0000 | |
commit | 5c3fd9c2deb73844f45966030f451957cc09f3f0 (patch) | |
tree | ebf42690a3036729b2a7b60b83d1dac38efa3557 /doc | |
parent | 1e4853968669d255b5ebb32358bf67ae68936887 (diff) |
Updated.
Diffstat (limited to 'doc')
-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 |