Added proof-assistant-symbol

2 files changed, 18 insertions, 3 deletions

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 627d16ee..56f59809 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -304,11 +304,25 @@ Warning messages can come from proof assistant or from Proof General itself."
 
 (defcustom proof-assistant ""
   "Name of the proof assistant Proof General is using.
-This is set automatically by the mode stub defined in proof-site,
-from the name given in proof-assistant-table."
+Do not change this variable! It is set automatically by the mode 
+stub defined in proof-site, from the name given in 
+proof-assistant-table."
   :type 'string
   :group 'prover-config)
 
+;; 18.12.98: Added this variable, useful for future simplified
+;;           mechanisms of instantiation.
+(defcustom proof-assistant-symbol nil
+  "Symbol name of the proof assistant Proof General is using.
+Used for automatic configuration based on standard variable names.
+Settings will be found by looking for names beginning with this
+symbol as a prefix.
+Do not change this variable! It is set automatically by the mode 
+stub defined in proof-site, from the symbols given in 
+proof-assistant-table."
+  :type 'sexp
+  :group 'prover-config)
+
 
 
 
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 "/")