x-symbol-isabelle-prepare-table: specialise to Isar (usefully removes dependence on proof-assistant-symbol)

1 files changed, 6 insertions, 10 deletions

diff --git a/isar/x-symbol-isabelle.el b/isar/x-symbol-isabelle.el
index 54c017fb..4411ef82 100644
--- a/isar/x-symbol-isabelle.el
+++ b/isar/x-symbol-isabelle.el
@@ -461,16 +461,12 @@ See `x-symbol-language-access-alist' for details."
     ))
 
 (defun x-symbol-isabelle-prepare-table (table)
-  "Account for differences in symbols between Isabelle/Isar and Isabelle."
-  (let*
-      ((is-isar (eq proof-assistant-symbol 'isar))
-       (prfx1 (if is-isar "" "\\"))
-       (prfx2 (if is-isar "\\" "")))
-    (mapcar (lambda (entry)
-              (list (car entry) nil
-		    (concat prfx1 (cadr entry)) 
-		    (concat prfx2 (cadr entry))))
-            table)))
+  "Prepare table for Isabelle/Isar."
+  (mapcar (lambda (entry)
+	    (list (car entry) nil
+		  (cadr entry) 
+		  (concat "\\" (cadr entry))))
+	  table))
 
 (defvar x-symbol-isabelle-table
   (x-symbol-isabelle-prepare-table