diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-09-08 17:16:57 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-08 17:16:57 +0000 |
| commit | 5e21c1879afa5201a005d11a4909e260315db966 (patch) | |
| tree | 51fd7a007ceb3e5ee1fc46f62824239e20a39be1 | |
| parent | e7e86eafc75d76cf0fe0a160f9bc68aa3d72c5b5 (diff) | |
Made customize variables user-visible
| -rw-r--r-- | generic/proof-site.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 4225bc27..574b5cff 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -27,20 +27,20 @@ (defcustom proof-home (or (getenv "PROOF_HOME") "~/devel/lego/elisp/") - "Directory where proof mode is installed. Ends with slash. + "*Directory where proof mode is installed. Ends with slash. Default value taken from PROOF_HOME, or use customize to set it." :type 'directory :group 'proof) (defcustom proof-image-directory (concat proof-home "images/") - "Where proof mode image files are installed. Ends with slash." + "*Where proof mode image files are installed. Ends with slash." :type 'directory :group 'proof) (defcustom proof-assistant 'isa - "Choice of proof assitant to run generic mode with. + "*Choice of proof assitant to run generic mode with. A symbol chosen from: 'lego 'coq 'isa To change proof assistant, you must start a new Emacs session." :type '(choice (const :tag "Isabelle" isa) |