# HG changeset patch
# User wenzelm
# Date 862395197 -7200
# Node ID 9b68848654bf73083d12573c22919fdd33746f61
# Parent  71c54eb8ed1d15acc19675c0521eca3470abaa56
improved the space2 glyph;

diff -r 71c54eb8ed1d -r 9b68848654bf lib/fonts/isabelle14.bdf
--- a/lib/fonts/isabelle14.bdf	Wed Apr 30 12:06:18 1997 +0200
+++ b/lib/fonts/isabelle14.bdf	Wed Apr 30 12:13:17 1997 +0200
@@ -1745,10 +1745,9 @@
 ENCODING 160
 SWIDTH 264 0
 DWIDTH 9 0
-BBX 9 2 1 0
+BBX 8 1 1 0
 BITMAP
-8880
-dd80
+e7
 ENDCHAR
 STARTCHAR Gamma
 ENCODING 161
diff -r 71c54eb8ed1d -r 9b68848654bf lib/fonts/isabelle24.bdf
--- a/lib/fonts/isabelle24.bdf	Wed Apr 30 12:06:18 1997 +0200
+++ b/lib/fonts/isabelle24.bdf	Wed Apr 30 12:13:17 1997 +0200
@@ -2337,10 +2337,9 @@
 ENCODING 160
 SWIDTH 600 0
 DWIDTH 15 0
-BBX 11 2 1 0
+BBX 10 1 1 0
 BITMAP
-8420
-ffe0
+f3c0
 ENDCHAR
 STARTCHAR Gamma
 ENCODING 161