From 8b65a54fdeb50bc346fcf8d25315e54e28c4cca6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 12 Jul 2008 14:00:17 +0000
Subject: Fix loading of multiple prover files: set proof-assistant-table to
 nil so proof-ready-for-assitant works

---
 doc/docstring-magic.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/docstring-magic.el b/doc/docstring-magic.el
index e754e267..55cb7aa4 100644
--- a/doc/docstring-magic.el
+++ b/doc/docstring-magic.el
@@ -37,6 +37,7 @@
 	 (assistant-name (car nameregexp))
 	 (sname		 (symbol-name assistant))
 	 (elisp-file   sname))
+      (setq proof-assistant-symbol nil)
       (proof-ready-for-assistant assistant assistant-name)
       ;; Must load proof-config each time to define proof assistant
       ;; specific variables
@@ -47,11 +48,11 @@
 
 ;; Now a fake proof assistant to document the automatically
 ;; specific variables
+(setq proof-assistant-symbol nil)
 (proof-ready-for-assistant 'PA "PROOF ASSISTANT")
 (setq features (delete 'pg-custom features))
 (load "pg-custom.el")
 
-
 ;; These next few are autoloaded usually
 (load "proof-menu.el")
 (load "proof-toolbar.el")
-- 
cgit v1.2.3