From ef1f7f21c8c78f42f9944225cee014b53f96fcfa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Dec 2007 11:56:58 +0000
Subject: x-symbol-isabelle-prepare-table: specialise to Isar (usefully removes
 dependence on proof-assistant-symbol)

---
 isar/x-symbol-isabelle.el | 16 ++++++----------
 1 file 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
-- 
cgit v1.2.3