From b3513b5d927e93128bd1e37a3462f49602dd0b5b Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 9 Jan 2001 22:38:48 +0000
Subject: added \<cedilla>, \<dieresis>, \<acute>, \<hungarumlaut>;

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

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index aaa8ed17..8072a9b3 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -299,6 +299,10 @@ Return nil if `x-symbol-mode' or `x-symbol-subscripts' is nil.  Uses
     (bigcirclemultiply "\\<Otimes>")
     (bigcircleplus "\\<Oplus>")
     (coproduct "\\<Coprod>")
+    (cedilla "\\<cedilla>")
+    (diaeresis "\\<dieresis>")
+    (acute "\\<acute>")
+    (hungarumlaut "\\<hungarumlaut>")
     ))
 
 (defvar x-symbol-isabelle-user-table nil)
-- 
cgit v1.2.3