diff options
| author | Makarius Wenzel | 2000-10-14 17:19:32 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-10-14 17:19:32 +0000 |
| commit | 2f1ef9ec1f7eab0b217df3f0dc0861e5f78f9f38 (patch) | |
| tree | 8b66e25f825ade0ae2f730e0d6c46726a991d245 | |
| parent | 27f5308ce510f63f5f95cde89f1969461ad8960f (diff) | |
parendblleft/right renamed to cataleft/right (according to x-symbol-3.3e);
| -rw-r--r-- | isa/x-symbol-isabelle.el | 4 |
1 files 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) |