diff options
| author | David Aspinall | 1998-09-08 16:40:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-08 16:40:46 +0000 |
| commit | e7e86eafc75d76cf0fe0a160f9bc68aa3d72c5b5 (patch) | |
| tree | b7f6b9c5f324053681dc72442e132dbc3a020d8f /generic | |
| parent | 728966c249c61b4be2042b62cd9b029c5c8c076e (diff) | |
Added image directory for toolbar icons
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-site.el | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 239ed2fe..4225bc27 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -32,6 +32,12 @@ 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." + :type 'directory + :group 'proof) + (defcustom proof-assistant 'isa "Choice of proof assitant to run generic mode with. |