diff options
-rw-r--r-- | generic/proof-script.el | 4 | ||||
-rw-r--r-- | lego/lego.el | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 1be17191..982de20e 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1980,7 +1980,7 @@ The command isn't added to the locked region. If `proof-state-preserving-p' is configured, it is used as a check that the command will be safe to execute, in other words, that -it won't ruin synchronization. If applied to the command it +it won't ruin synchronization. If when applied to the command it returns false, then an error message is given. This command risks spoiling synchronization if the test @@ -2351,7 +2351,7 @@ This is intended as a value for proof-activate-scripting-hook" (list '(proof-electric-terminator (concat " " proof-terminal-string)))))) -;; This is a value used by custom-set property = proof-set-bool. +;; This is a value used by custom-set property = proof-set-value. (defun proof-electric-terminator-enable () "Copy proof-electric-terminator-enable to all script mode copies of it. Make sure the modeline is updated to display new value for electric terminator." diff --git a/lego/lego.el b/lego/lego.el index d0dd2643..457f64e3 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -28,7 +28,7 @@ :group 'lego) (defcustom lego-indent 2 - "*Indentation" + "*Indentation level." :type 'number :group 'lego) @@ -41,7 +41,7 @@ (defcustom lego-help-menu-list '(["The LEGO Reference Card" (browse-url lego-www-refcard) t] ["The LEGO library (WWW)" (browse-url lego-library-www-page) t]) - "List of menu itemsfor LEGO specific help. + "List of menu items for LEGO specific help. See the documentation of `easy-menu-define' " :type '(repeat sexp) |