--- a/lib/fonts/isabelle24.bdf Fri Feb 12 13:56:21 1999 +0100 +++ b/lib/fonts/isabelle24.bdf Fri Feb 12 14:40:56 1999 +0100 @@ -2333,7 +2333,7 @@ fff0 fff0 ENDCHAR -STARTCHAR space2 +STARTCHAR spacespace ENCODING 160 SWIDTH 600 0 DWIDTH 15 0