From 8763ed675e91d802a93c25fcda460f4a9bb193ed Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 31 Aug 2009 20:07:05 +0000 Subject: Update docs --- generic/proof-useropts.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic/proof-useropts.el') 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) -- cgit v1.2.3