From 9b66c9efc1fec64078a046dc9350e8eb0dbc9ca2 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 6 Feb 2008 22:29:34 +0000 Subject: proof-ready-for-assistant: Only make ready for assistant once(!) --- generic/proof-site.el | 5 +++-- 1 file 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 -- cgit v1.2.3