diff options
-rw-r--r-- | generic/proof-useropts.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el index 40df67a9..da97e454 100644 --- a/generic/proof-useropts.el +++ b/generic/proof-useropts.el @@ -128,7 +128,7 @@ you a reprimand!)." "*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." :type 'boolean :group 'proof-user-options) |