diff options
| author | Makarius Wenzel | 2001-01-09 22:38:48 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-01-09 22:38:48 +0000 |
| commit | b3513b5d927e93128bd1e37a3462f49602dd0b5b (patch) | |
| tree | ec210ed77407a51984ed6e5e37944c415b789b31 | |
| parent | fa8047d02c7a0ad318e906e82dbab0d8f627e918 (diff) | |
added \<cedilla>, \<dieresis>, \<acute>, \<hungarumlaut>;
| -rw-r--r-- | isa/x-symbol-isabelle.el | 4 |
1 files changed, 4 insertions, 0 deletions
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) |