diff options
| -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." |