diff options
| -rw-r--r-- | isa/x-symbol-isabelle.el | 12 |
1 files 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 ;;;=========================================================================== |