diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-23 11:36:22 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-23 11:36:22 +0000 |
| commit | 23b8469cd25624e050ec75d9807bad0aa31d0b7f (patch) | |
| tree | 27298f4495979fba396f3238a4ab1a7aa6f1e289 /generic/proof-config.el | |
| parent | 46d5f18d9e852ba64f98da44acebf191e04fd7ab (diff) | |
Added note about mode symbols
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index a62292b1..a2d14d27 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -193,6 +193,11 @@ from the name given in proof-internal-assistant-table." ;; 2. The major modes used by Proof General. ;; +;; FIXME: these symbols could be set automatically to standard values, +;; i.e. <assistant>-mode, <assistant>-shell-mode, <assistant>-pbp-mode. +;; FIXME: mode-for-script is unused at the moment, added just for +;; uniformity. The other two are used when a shell buffer is started. + (defcustom proof-mode-for-shell nil "Mode for proof shell buffers. Suggestion: this can be set in proof-pre-shell-start-hook." |