diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-02-06 22:29:34 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-02-06 22:29:34 +0000 |
| commit | 9b66c9efc1fec64078a046dc9350e8eb0dbc9ca2 (patch) | |
| tree | 2d3dc1915ac6aea563f7d0e5d796bc44ac4b3bcb | |
| parent | 655464a68bc699c3696aabe66edf339ef2968f64 (diff) | |
proof-ready-for-assistant: Only make ready for assistant once(!)
| -rw-r--r-- | generic/proof-site.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 8c014e02..ac8a0f6f 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -208,7 +208,8 @@ Note: to change proof assistant, you must start a new Emacs session.") (defun proof-ready-for-assistant (assistantsym &optional assistant-name) "Configure PG for symbol ASSISTANTSYM, name ASSISTANT-NAME. If ASSISTANT-NAME is omitted, look up in `proof-assistant-table'." - (let* + (unless proof-assistant-symbol + (let* ((sname (symbol-name assistantsym)) (assistant-name (or assistant-name (car-safe @@ -264,7 +265,7 @@ If ASSISTANT-NAME is omitted, look up in `proof-assistant-table'." (if (not (member ,loadpath-elt load-path)) (setq load-path (cons ,loadpath-elt load-path))) ;; Run hooks for late initialisation - (run-hooks 'proof-ready-for-assistant-hook))))) + (run-hooks 'proof-ready-for-assistant-hook)))))) ;; Add auto-loads and load-path elements to support the |