diff options
| author | Makarius Wenzel | 2001-11-07 23:30:59 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-11-07 23:30:59 +0000 |
| commit | 160a50d195f2b37c5ed63411b8b680e4d2e5a633 (patch) | |
| tree | 7909e1f4ebb17a3f123b70821bd3c7b159299d43 | |
| parent | 49dfc50bd4415513b1aad5e1f6e375e07884f2d3 (diff) | |
added \<lozenge> and \<struct>;
| -rw-r--r-- | isa/x-symbol-isabelle.el | 2 |
1 files changed, 2 insertions, 0 deletions
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) |