From 4b77e6ad1f926665da6b27af3ed52dd768469c80 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sat, 1 Dec 2001 18:04:47 +0000
Subject: \<euro> symbol; use previously defined x-symbol-isabelle-user-table
 (or nil); x-symbol-user-table achieves electric |- and |= symbols;

---
 isa/x-symbol-isabelle.el | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index c673bc0a..fb23a07d 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -325,10 +325,9 @@ Uses `x-symbol-isabelle-font-lock-scripts-regexp'."
     (lozenge "\\<lozenge>")
     (smllozenge "\\<struct>")
     (dotlessi "\\<index>")
+    (euro "\\<euro>")
     ))
 
-(defvar x-symbol-isabelle-user-table nil)
-
 (defun x-symbol-isabelle-prepare-table (table)
   (let*
       ((is-isar (eq proof-assistant-symbol 'isar))
@@ -341,10 +340,17 @@ Uses `x-symbol-isabelle-font-lock-scripts-regexp'."
 (defvar x-symbol-isabelle-table
   (x-symbol-isabelle-prepare-table
    (append
-    x-symbol-isabelle-user-table
+    (if (boundp 'x-symbol-isabelle-user-table) x-symbol-isabelle-user-table nil)
     x-symbol-isabelle-symbol-table
     x-symbol-isabelle-xsymbol-table)))
 
+(defvar x-symbol-user-table
+  (append
+   (if (boundp 'x-symbol-user-table) x-symbol-user-table nil)
+   '((bardash 180 (arrow) (direction east . perpendicular) nil (t "|-"))
+     (bardashdbl 182 (arrow) (direction east) nil (t "|=")))))
+
+
 ;;;===========================================================================
 ;;;  Internal
 ;;;===========================================================================
-- 
cgit v1.2.3