diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-09-21 16:54:09 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-09-21 16:54:09 +0000 |
| commit | 461ddb09174263055d124bee24905c49d57d2fdb (patch) | |
| tree | 1b7368171ebaf15dad82107a1b28fd25fe846cf3 | |
| parent | 88e4b465f9885e0cc3a2e23da4049121f89c3765 (diff) | |
added Isabelle symbols for parendblleft/parendblright glyphs (will be
present in X-Symbol-3.3e; should not cause problems with older
versions);
| -rw-r--r-- | isa/x-symbol-isabelle.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index 0867918d..a14db78c 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -266,7 +266,10 @@ (greatersim "\\<greatersim>") (lessapprox "\\<lessapprox>") (greaterapprox "\\<greaterapprox>") - (definedas "\\<triangleq>"))) + (definedas "\\<triangleq>") + (parendblleft "\\<lparr>") + (parendblright "\\<rparr>") + )) (defvar x-symbol-isabelle-user-table nil) |