From eca97d0f816ea5aabd9f80e5c89bae8611fd58e0 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 14 Sep 2000 22:29:20 +0000
Subject: renamed \<brokenbar> to \<bar>; fixed glyph of \<pounds>;

---
 isa/x-symbol-isabelle.el | 4 ++--
 1 file 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>")
-- 
cgit v1.2.3