diff options
| author | Makarius Wenzel | 2000-09-14 22:29:20 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-09-14 22:29:20 +0000 |
| commit | eca97d0f816ea5aabd9f80e5c89bae8611fd58e0 (patch) | |
| tree | a15cf3dc48a53b4d180650ff7bf07897e8a0afd8 | |
| parent | b92c8cc349554dd181f2eba61639b9045ef66db7 (diff) | |
renamed \<brokenbar> to \<bar>;
fixed glyph of \<pounds>;
| -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 a355e9bf..0867918d 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -162,7 +162,7 @@ (longarrowdblright "\\<Longrightarrow>") (longarrowdblleft "\\<Longleftarrow>") (longarrowdblboth "\\<Longleftrightarrow>") - (brokenbar "\\<brokenbar>") + (brokenbar "\\<bar>") (hyphen "\\<hyphen>") (macron "\\<macron>") (exclamdown "\\<exclamdown>") @@ -181,7 +181,7 @@ (ordfeminine "\\<ordfeminine>") (ordmasculine "\\<ordmasculine>") (section "\\<section>") - (pounds "\\<pounds>") + (sterling "\\<pounds>") (yen "\\<yen>") (cent "\\<cent>") (currency "\\<currency>") |