diff options
| author | David Aspinall | 1999-10-06 10:58:06 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 10:58:06 +0000 |
| commit | 0f4228ff072e374d439e88bd60dea9cc04473379 (patch) | |
| tree | 663c1b35784e8979a76277c3369ad52b05628cc3 | |
| parent | e76a829f1d45b52bff9d9351fdeaa354aafffde7 (diff) | |
Typo
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 67df7e54..af568f53 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -693,7 +693,7 @@ beginning of the entity's region." (defcustom proof-lift-global nil "This function lifts local lemmas from inside goals out to top level. This function takes the local goalsave span as an argument. Set this -to `nil' of the proof assistant does not support nested goals." +to `nil' if the proof assistant does not support nested goals." :type 'function ;; FIXME customize broken on choices with function in them? ;; :type '(choice (const :tag "No local lemmas" nil) (function)) |