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 | |
parent | 46d5f18d9e852ba64f98da44acebf191e04fd7ab (diff) |
Added note about mode symbols
-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." |