diff options
Diffstat (limited to 'generic/proof-site.el')
| -rw-r--r-- | generic/proof-site.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index cb5a63a8..112a542e 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -202,8 +202,9 @@ Note: to change proof assistant, you must start a new Emacs session.") :group 'proof-general-internals :prefix ,(concat sname "-")) - ;; Set the proof-assistant configuration variable + ;; Set the proof-assistant configuration variables (setq proof-assistant ,assistant-name) + (setq proof-assistant-symbol (quote ,assistant)) ;; Extend the load path, load the real mode and invoke it. (setq load-path (cons (concat proof-home-directory ,elisp-dir "/") |