diff options
| author | David Aspinall | 1999-11-13 13:55:26 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-13 13:55:26 +0000 |
| commit | 8ffdd4caee90d6ac224440089d700edc6328c08c (patch) | |
| tree | 83f8d9eb18156293e0dfad16cc448869b75de927 /generic | |
| parent | ab50ba1cdc246d0239bf597674d5e09026060a4a (diff) | |
comments
Diffstat (limited to 'generic')
| -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 |