diff options
| -rw-r--r-- | generic/proof-shell.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 4b9acb78..0a244b1c 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -201,7 +201,10 @@ Does nothing if proof assistant is already running." (interactive) (unless (proof-shell-live-buffer) - ;; This should configure the generic variables + ;; This should configure the mode-setting variables + ;; proof-mode-for-<blah> so we can set the modes below. + ;; <blah>=shell,goals,response. We also need to set + ;; proof-prog-name to start the program! (run-hooks 'proof-pre-shell-start-hook) ;; Clear some state |