From 160a50d195f2b37c5ed63411b8b680e4d2e5a633 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 7 Nov 2001 23:30:59 +0000
Subject: added \<lozenge> and \<struct>;

---
 isa/x-symbol-isabelle.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index 1d5c2ba2..f65cc426 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -322,6 +322,8 @@ Uses `x-symbol-isabelle-font-lock-scripts-regexp'."
     (diaeresis "\\<dieresis>")
     (acute "\\<acute>")
     (hungarumlaut "\\<hungarumlaut>")
+    (lozenge "\\<lozenge>")
+    (smllozenge "\\<struct>")
     ))
 
 (defvar x-symbol-isabelle-user-table nil)
-- 
cgit v1.2.3