diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 20:07:05 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 20:07:05 +0000 |
commit | 8763ed675e91d802a93c25fcda460f4a9bb193ed (patch) | |
tree | 8e5487eef2d5d1fddc6049f824c9852ae7a9db90 /generic/proof-useropts.el | |
parent | fb2b507b3fab0105ab38906593263cc442e0fb8c (diff) |
Update docs
Diffstat (limited to 'generic/proof-useropts.el')
-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) |