diff options
| -rw-r--r-- | generic/proof-config.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index feb3c53d..45d411a3 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -200,8 +200,8 @@ you a reprimand!)." (defcustom proof-allow-undo-in-read-only nil "*Whether Proof General allows text undo in the read-only region. If non-nil, undo will allow altering of processed text (default behaviour -before Proof General 3.7). If nil, undo history of processed text is -discarded." +before Proof General 3.7). If nil, undo history is cut at first edit +of processed text. NB: the history manipulation only works on GNU Emacs." :type 'boolean :group 'proof-user-options) |