diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-26 13:44:33 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-26 13:44:33 +0000 |
commit | e01d5841b808cae3f43d857cc45dfa3832aded96 (patch) | |
tree | 343aa23f18d685735e41a5438f3531553d03a8f0 /generic/proof-config.el | |
parent | 11bdb48732a6607c95a9365664cfd2f386244c74 (diff) |
Typos.
Diffstat (limited to 'generic/proof-config.el')
-rw-r--r-- | generic/proof-config.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 349ef5cc..3d85344f 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -106,7 +106,7 @@ automatically issue `proof-assert-next-command' for convenience, to send the command straight to the proof process. If the command you want to send already has a terminator character, you don't need to delete the terminator character first. Just press the -terminator somwhere nearby. Electric!" +terminator somewhere nearby. Electric!" :type 'boolean :set 'proof-set-value :group 'proof-user-options) @@ -121,7 +121,7 @@ NB: the toolbar is only available with XEmacs." (defcustom proof-x-symbol-enable nil "*Whether to use x-symbol in Proof General buffers. If you activate this variable, whether or not you get x-symbol support -depends on whether your proof assistant supports it and whehter +depends on whether your proof assistant supports it and whether X-Symbol is installed in your Emacs." :type 'boolean :set 'proof-set-value @@ -1719,9 +1719,9 @@ X-Symbol support is deactivated." (defcustom proof-universal-keys '(([(control c) (control c)] . proof-interrupt-process) ([(control c) (control v)] . proof-minibuffer-cmd)) -"List of keybindings made for the script, goals and response buffer. +"List of key-bindings made for the script, goals and response buffer. Elements of the list are tuples `(k . f)' -where `k' is a keybinding (vector) and `f' the designated function." +where `k' is a key-binding (vector) and `f' the designated function." :type 'sexp :group 'proof-general-internals) |