From 2f1ef9ec1f7eab0b217df3f0dc0861e5f78f9f38 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sat, 14 Oct 2000 17:19:32 +0000
Subject: parendblleft/right renamed to cataleft/right (according to
 x-symbol-3.3e);

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

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index 704d6d72..c2b0f58d 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -292,8 +292,8 @@ Return nil if `x-symbol-mode' or `x-symbol-subscripts' is nil.  Uses
     (lessapprox "\\<lessapprox>")
     (greaterapprox "\\<greaterapprox>")
     (definedas "\\<triangleq>")
-    (parendblleft "\\<lparr>")
-    (parendblright "\\<rparr>")
+    (cataleft "\\<lparr>")
+    (cataright "\\<rparr>")
     ))
 
 (defvar x-symbol-isabelle-user-table nil)
-- 
cgit v1.2.3