lib/fonts/isabelle14.bdf
author wenzelm
Sun, 15 Oct 2000 19:50:35 +0200
changeset 10220 2a726de6e124
parent 6281 25d41c118304
permissions -rw-r--r--
proper symbol markup with \isamath, \isatext; support sub/super scripts:
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     1
STARTFONT 2.1
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     2
FONT -isabelle-fixed-medium-r-normal--14-140-75-75-m-90-isabelle-0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     3
SIZE 14 75 75
3064
f04f93e5c0a9 added new chars;
wenzelm
parents: 2790
diff changeset
     4
FONTBOUNDINGBOX 10 14 4 -3
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     5
STARTPROPERTIES 22
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     6
FONTNAME_REGISTRY ""
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     7
FOUNDRY "Isabelle"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     8
FAMILY_NAME "Fixed"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
     9
WEIGHT_NAME "Medium"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    10
SLANT "R"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    11
SETWIDTH_NAME "Normal"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    12
ADD_STYLE_NAME ""
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    13
PIXEL_SIZE 14
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    14
POINT_SIZE 140
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    15
RESOLUTION_X 75
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    16
RESOLUTION_Y 75
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    17
SPACING "M"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    18
AVERAGE_WIDTH 90
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    19
CHARSET_REGISTRY "Isabelle"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    20
CHARSET_ENCODING "0"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    21
CHARSET_COLLECTIONS ""
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    22
FULL_NAME "Fixed"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    23
COPYRIGHT "Public"
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    24
FONT_ASCENT 11
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    25
FONT_DESCENT 3
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    26
CAP_HEIGHT 9
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    27
X_HEIGHT 7
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    28
ENDPROPERTIES
3064
f04f93e5c0a9 added new chars;
wenzelm
parents: 2790
diff changeset
    29
CHARS 206
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    30
STARTCHAR space
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    31
ENCODING 32
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    32
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    33
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    34
BBX 1 1 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    35
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    36
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    37
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    38
STARTCHAR exclam
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    39
ENCODING 33
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    40
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    41
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    42
BBX 1 10 3 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    43
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    44
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    45
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    46
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    47
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    48
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    49
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    50
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    51
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    52
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    53
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    54
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    55
STARTCHAR quotedbl
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    56
ENCODING 34
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    57
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    58
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    59
BBX 4 4 2 5
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    60
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    61
90
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    62
90
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    63
90
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    64
90
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    65
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    66
STARTCHAR numbersign
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    67
ENCODING 35
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    68
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    69
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    70
BBX 5 9 2 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    71
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    72
50
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    73
50
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    74
50
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    75
f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    76
50
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    77
f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    78
50
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    79
50
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    80
50
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    81
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    82
STARTCHAR dollar
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    83
ENCODING 36
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    84
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    85
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    86
BBX 5 13 2 -2
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    87
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    88
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    89
20
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
    90
70
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    91
88
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    92
80
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
    93
40
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    94
30
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    95
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    96
88
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
    97
70
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    98
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
    99
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   100
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   101
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   102
STARTCHAR percent
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   103
ENCODING 37
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   104
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   105
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   106
BBX 7 10 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   107
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   108
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   109
90
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   110
90
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   111
66
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   112
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   113
30
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   114
cc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   115
12
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   116
12
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   117
0c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   118
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   119
STARTCHAR ampersand
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   120
ENCODING 38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   121
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   122
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   123
BBX 6 8 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   124
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   125
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   126
48
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   127
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   128
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   129
a8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   130
90
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   131
98
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   132
64
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   133
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   134
STARTCHAR quoteright
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   135
ENCODING 39
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   136
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   137
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   138
BBX 3 4 2 5
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   139
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   140
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   141
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   142
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   143
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   144
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   145
STARTCHAR parenleft
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   146
ENCODING 40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   147
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   148
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   149
BBX 3 12 3 -2
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   150
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   151
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   152
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   153
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   154
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   155
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   156
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   157
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   158
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   159
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   160
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   161
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   162
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   163
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   164
STARTCHAR parenright
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   165
ENCODING 41
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   166
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   167
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   168
BBX 3 12 2 -2
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   169
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   170
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   171
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   172
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   173
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   174
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   175
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   176
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   177
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   178
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   179
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   180
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   181
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   182
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   183
STARTCHAR asterisk
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   184
ENCODING 42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   185
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   186
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   187
BBX 5 6 1 3
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   188
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   189
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   190
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   191
f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   192
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   193
50
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   194
88
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   195
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   196
STARTCHAR plus
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   197
ENCODING 43
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   198
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   199
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   200
BBX 7 7 1 1
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   201
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   202
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   203
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   204
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   205
fe
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   206
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   207
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   208
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   209
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   210
STARTCHAR comma
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   211
ENCODING 44
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   212
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   213
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   214
BBX 3 4 2 -2
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   215
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   216
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   217
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   218
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   219
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   220
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   221
STARTCHAR minus
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   222
ENCODING 45
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   223
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   224
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   225
BBX 7 1 1 4
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   226
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   227
fe
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   228
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   229
STARTCHAR period
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   230
ENCODING 46
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   231
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   232
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   233
BBX 2 2 3 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   234
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   235
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   236
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   237
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   238
STARTCHAR slash
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   239
ENCODING 47
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   240
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   241
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   242
BBX 6 11 1 -1
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   243
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   244
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   245
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   246
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   247
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   248
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   249
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   250
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   251
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   252
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   253
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   254
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   255
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   256
STARTCHAR zero
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   257
ENCODING 48
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   258
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   259
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   260
BBX 6 10 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   261
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   262
78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   263
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   264
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   265
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   266
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   267
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   268
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   269
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   270
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   271
78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   272
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   273
STARTCHAR one
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   274
ENCODING 49
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   275
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   276
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   277
BBX 4 10 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   278
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   279
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   280
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   281
a0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   282
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   283
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   284
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   285
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   286
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   287
20
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   288
70
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   289
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   290
STARTCHAR two
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   291
ENCODING 50
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   292
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   293
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   294
BBX 6 10 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   295
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   296
78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   297
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   298
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   299
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   300
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   301
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   302
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   303
40
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   304
80
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   305
fc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   306
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   307
STARTCHAR three
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   308
ENCODING 51
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   309
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   310
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   311
BBX 6 10 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   312
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   313
78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   314
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   315
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   316
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   317
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   318
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   319
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   320
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   321
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   322
78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   323
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   324
STARTCHAR four
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   325
ENCODING 52
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   326
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   327
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   328
BBX 6 10 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   329
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   330
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   331
28
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   332
28
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   333
48
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   334
48
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   335
88
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   336
88
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   337
fc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   338
08
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   339
08
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   340
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   341
STARTCHAR five
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   342
ENCODING 53
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   343
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   344
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   345
BBX 6 10 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   346
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   347
7c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   348
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   349
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   350
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   351
78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   352
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   353
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   354
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   355
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   356
78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   357
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   358
STARTCHAR six
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   359
ENCODING 54
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   360
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   361
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   362
BBX 6 10 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   363
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   364
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   365
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   366
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   367
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   368
b8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   369
c4
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   370
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   371
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   372
44
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   373
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   374
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   375
STARTCHAR seven
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   376
ENCODING 55
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   377
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   378
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   379
BBX 6 10 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   380
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   381
fc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   382
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   383
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   384
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   385
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   386
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   387
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   388
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   389
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   390
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   391
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   392
STARTCHAR eight
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   393
ENCODING 56
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   394
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   395
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   396
BBX 6 10 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   397
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   398
78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   399
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   400
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   401
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   402
78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   403
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   404
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   405
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   406
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   407
78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   408
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   409
STARTCHAR nine
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   410
ENCODING 57
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   411
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   412
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   413
BBX 6 10 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   414
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   415
70
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   416
88
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   417
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   418
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   419
8c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   420
74
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   421
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   422
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   423
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   424
70
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   425
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   426
STARTCHAR colon
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   427
ENCODING 58
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   428
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   429
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   430
BBX 2 7 3 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   431
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   432
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   433
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   434
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   435
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   436
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   437
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   438
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   439
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   440
STARTCHAR semicolon
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   441
ENCODING 59
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   442
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   443
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   444
BBX 3 9 2 -2
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   445
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   446
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   447
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   448
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   449
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   450
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   451
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   452
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   453
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   454
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   455
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   456
STARTCHAR less
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   457
ENCODING 60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   458
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   459
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   460
BBX 7 7 1 1
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   461
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   462
06
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   463
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   464
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   465
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   466
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   467
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   468
06
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   469
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   470
STARTCHAR equal
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   471
ENCODING 61
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   472
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   473
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   474
BBX 7 3 1 3
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   475
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   476
fe
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   477
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   478
fe
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   479
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   480
STARTCHAR greater
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   481
ENCODING 62
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   482
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   483
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   484
BBX 7 7 1 1
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   485
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   486
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   487
30
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   488
0c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   489
02
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   490
0c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   491
30
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   492
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   493
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   494
STARTCHAR question
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   495
ENCODING 63
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   496
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   497
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   498
BBX 5 9 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   499
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   500
70
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   501
88
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   502
88
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   503
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   504
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   505
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   506
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   507
00
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   508
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   509
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   510
STARTCHAR at
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   511
ENCODING 64
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   512
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   513
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   514
BBX 6 10 1 -1
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   515
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   516
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   517
44
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   518
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   519
9c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   520
a4
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   521
a4
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   522
9c
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   523
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   524
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   525
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   526
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   527
STARTCHAR A
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   528
ENCODING 65
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   529
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   530
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   531
BBX 7 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   532
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   533
10
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   534
10
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   535
28
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   536
28
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   537
44
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   538
7c
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   539
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   540
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   541
82
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   542
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   543
STARTCHAR B
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   544
ENCODING 66
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   545
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   546
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   547
BBX 6 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   548
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   549
f8
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   550
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   551
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   552
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   553
f8
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   554
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   555
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   556
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   557
f8
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   558
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   559
STARTCHAR C
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   560
ENCODING 67
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   561
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   562
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   563
BBX 7 9 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   564
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   565
3c
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   566
42
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   567
80
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   568
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   569
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   570
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   571
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   572
42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   573
3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   574
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   575
STARTCHAR D
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   576
ENCODING 68
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   577
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   578
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   579
BBX 7 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   580
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   581
f8
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   582
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   583
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   584
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   585
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   586
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   587
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   588
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   589
f8
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   590
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   591
STARTCHAR E
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   592
ENCODING 69
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   593
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   594
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   595
BBX 6 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   596
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   597
fc
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   598
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   599
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   600
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   601
f0
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   602
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   603
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   604
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   605
fc
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   606
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   607
STARTCHAR F
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   608
ENCODING 70
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   609
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   610
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   611
BBX 6 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   612
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   613
fc
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   614
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   615
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   616
80
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   617
f0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   618
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   619
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   620
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   621
80
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   622
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   623
STARTCHAR G
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   624
ENCODING 71
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   625
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   626
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   627
BBX 7 9 0 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   628
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   629
3c
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   630
42
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   631
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   632
80
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   633
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   634
8e
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   635
82
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   636
42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   637
3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   638
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   639
STARTCHAR H
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   640
ENCODING 72
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   641
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   642
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   643
BBX 6 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   644
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   645
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   646
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   647
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   648
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   649
fc
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   650
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   651
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   652
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   653
84
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   654
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   655
STARTCHAR I
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   656
ENCODING 73
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   657
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   658
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   659
BBX 3 9 2 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   660
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   661
e0
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   662
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   663
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   664
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   665
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   666
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   667
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   668
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   669
e0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   670
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   671
STARTCHAR J
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   672
ENCODING 74
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   673
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   674
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   675
BBX 6 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   676
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   677
1c
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   678
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   679
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   680
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   681
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   682
88
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   683
88
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   684
88
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   685
70
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   686
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   687
STARTCHAR K
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   688
ENCODING 75
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   689
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   690
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   691
BBX 6 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   692
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   693
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   694
88
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   695
90
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   696
a0
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   697
e0
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   698
90
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   699
88
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   700
88
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   701
84
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   702
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   703
STARTCHAR L
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   704
ENCODING 76
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   705
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   706
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   707
BBX 7 9 0 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   708
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   709
e0
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   710
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   711
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   712
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   713
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   714
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   715
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   716
42
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   717
7e
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   718
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   719
STARTCHAR M
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   720
ENCODING 77
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   721
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   722
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   723
BBX 7 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   724
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   725
c6
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   726
c6
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   727
aa
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   728
aa
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   729
92
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   730
92
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   731
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   732
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   733
82
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   734
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   735
STARTCHAR N
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   736
ENCODING 78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   737
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   738
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   739
BBX 6 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   740
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   741
c4
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   742
c4
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   743
a4
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   744
a4
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   745
94
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   746
94
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   747
8c
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   748
8c
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   749
84
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   750
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   751
STARTCHAR O
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   752
ENCODING 79
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   753
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   754
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   755
BBX 8 9 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   756
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   757
3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   758
42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   759
81
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   760
81
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   761
81
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   762
81
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   763
81
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   764
42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   765
3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   766
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   767
STARTCHAR P
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   768
ENCODING 80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   769
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   770
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   771
BBX 6 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   772
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   773
f8
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   774
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   775
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   776
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   777
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   778
f8
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   779
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   780
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   781
80
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   782
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   783
STARTCHAR Q
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   784
ENCODING 81
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   785
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   786
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   787
BBX 8 11 0 -2
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   788
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   789
3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   790
42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   791
81
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   792
81
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   793
81
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   794
81
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   795
81
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   796
42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   797
3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   798
31
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   799
5e
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   800
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   801
STARTCHAR R
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   802
ENCODING 82
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   803
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   804
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   805
BBX 7 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   806
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   807
f8
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   808
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   809
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   810
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   811
88
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   812
f0
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   813
88
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   814
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   815
82
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   816
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   817
STARTCHAR S
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   818
ENCODING 83
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   819
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   820
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   821
BBX 6 9 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   822
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   823
78
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   824
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   825
80
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   826
80
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   827
78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   828
04
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   829
04
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   830
84
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   831
78
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   832
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   833
STARTCHAR T
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   834
ENCODING 84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   835
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   836
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   837
BBX 7 9 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   838
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   839
fe
3064
f04f93e5c0a9 added new chars;
wenzelm
parents: 2790
diff changeset
   840
92
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   841
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   842
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   843
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   844
10
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   845
10
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   846
10
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   847
10
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   848
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   849
STARTCHAR U
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   850
ENCODING 85
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   851
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   852
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   853
BBX 6 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   854
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   855
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   856
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   857
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   858
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   859
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   860
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   861
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   862
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   863
78
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   864
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   865
STARTCHAR V
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   866
ENCODING 86
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   867
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   868
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   869
BBX 7 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   870
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   871
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   872
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   873
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   874
44
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   875
44
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   876
28
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   877
28
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   878
10
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   879
10
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   880
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   881
STARTCHAR W
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   882
ENCODING 87
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   883
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   884
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   885
BBX 7 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   886
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   887
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   888
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   889
92
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   890
92
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   891
aa
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   892
aa
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   893
44
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   894
44
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   895
44
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   896
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   897
STARTCHAR X
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   898
ENCODING 88
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   899
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   900
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   901
BBX 8 9 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   902
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   903
81
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   904
42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   905
24
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   906
24
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   907
18
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   908
24
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   909
24
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   910
42
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   911
81
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   912
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   913
STARTCHAR Y
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   914
ENCODING 89
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   915
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   916
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   917
BBX 7 9 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   918
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   919
82
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   920
44
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   921
44
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   922
28
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   923
28
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   924
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   925
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   926
10
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   927
10
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   928
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   929
STARTCHAR Z
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   930
ENCODING 90
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   931
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   932
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   933
BBX 6 9 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   934
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   935
fc
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   936
04
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   937
08
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   938
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   939
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   940
20
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   941
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
   942
80
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   943
fc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   944
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   945
STARTCHAR bracketleft
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   946
ENCODING 91
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   947
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   948
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   949
BBX 3 12 3 -2
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   950
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   951
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   952
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   953
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   954
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   955
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   956
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   957
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   958
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   959
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   960
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   961
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   962
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   963
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   964
STARTCHAR backslash
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   965
ENCODING 92
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   966
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   967
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   968
BBX 6 11 1 -1
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   969
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   970
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   971
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   972
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   973
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   974
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   975
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   976
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   977
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   978
08
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   979
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   980
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   981
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   982
STARTCHAR bracketright
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   983
ENCODING 93
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   984
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   985
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   986
BBX 3 12 2 -2
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   987
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   988
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   989
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   990
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   991
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   992
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   993
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   994
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   995
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   996
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   997
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   998
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
   999
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1000
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1001
STARTCHAR asciicircum
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1002
ENCODING 94
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1003
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1004
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1005
BBX 5 5 2 4
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1006
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1007
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1008
50
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1009
50
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1010
88
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1011
88
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1012
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1013
STARTCHAR underscore
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1014
ENCODING 95
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1015
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1016
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1017
BBX 9 1 0 -3
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1018
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1019
ff80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1020
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1021
STARTCHAR quoteleft
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1022
ENCODING 96
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1023
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1024
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1025
BBX 3 4 2 5
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1026
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1027
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1028
c0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1029
60
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1030
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1031
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1032
STARTCHAR a
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1033
ENCODING 97
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1034
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1035
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1036
BBX 7 7 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1037
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1038
78
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1039
04
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1040
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1041
7c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1042
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1043
8c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1044
76
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1045
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1046
STARTCHAR b
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1047
ENCODING 98
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1048
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1049
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1050
BBX 7 10 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1051
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1052
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1053
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1054
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1055
b8
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1056
c4
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1057
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1058
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1059
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1060
c4
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1061
b8
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1062
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1063
STARTCHAR c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1064
ENCODING 99
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1065
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1066
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1067
BBX 7 7 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1068
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1069
3c
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1070
42
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1071
80
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1072
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1073
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1074
42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1075
3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1076
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1077
STARTCHAR d
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1078
ENCODING 100
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1079
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1080
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1081
BBX 7 10 0 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1082
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1083
02
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1084
02
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1085
02
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1086
3a
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1087
46
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1088
82
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1089
82
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1090
82
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1091
46
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1092
3a
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1093
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1094
STARTCHAR e
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1095
ENCODING 101
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1096
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1097
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1098
BBX 7 7 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1099
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1100
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1101
44
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1102
82
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1103
fe
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1104
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1105
42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1106
3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1107
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1108
STARTCHAR f
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1109
ENCODING 102
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1110
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1111
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1112
BBX 7 10 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1113
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1114
1e
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1115
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1116
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1117
fc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1118
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1119
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1120
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1121
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1122
20
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1123
20
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1124
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1125
STARTCHAR g
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1126
ENCODING 103
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1127
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1128
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1129
BBX 7 10 0 -3
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1130
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1131
3a
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1132
46
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1133
82
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1134
82
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1135
82
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1136
46
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1137
3a
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1138
02
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1139
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1140
78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1141
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1142
STARTCHAR h
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1143
ENCODING 104
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1144
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1145
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1146
BBX 6 10 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1147
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1148
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1149
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1150
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1151
b8
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1152
c4
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1153
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1154
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1155
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1156
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1157
84
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1158
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1159
STARTCHAR i
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1160
ENCODING 105
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1161
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1162
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1163
BBX 3 10 3 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1164
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1165
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1166
40
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1167
00
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1168
c0
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1169
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1170
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1171
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1172
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1173
40
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1174
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1175
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1176
STARTCHAR j
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1177
ENCODING 106
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1178
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1179
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1180
BBX 4 13 1 -3
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1181
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1182
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1183
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1184
00
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1185
30
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1186
10
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1187
10
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1188
10
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1189
10
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1190
10
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1191
10
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1192
10
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1193
20
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1194
c0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1195
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1196
STARTCHAR k
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1197
ENCODING 107
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1198
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1199
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1200
BBX 5 9 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1201
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1202
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1203
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1204
98
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1205
90
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1206
a0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1207
c0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1208
a0
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1209
90
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1210
98
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1211
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1212
STARTCHAR l
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1213
ENCODING 108
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1214
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1215
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1216
BBX 3 9 3 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1217
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1218
c0
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1219
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1220
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1221
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1222
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1223
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1224
40
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1225
40
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1226
e0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1227
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1228
STARTCHAR m
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1229
ENCODING 109
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1230
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1231
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1232
BBX 8 7 0 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1233
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1234
db
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1235
6d
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1236
49
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1237
49
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1238
49
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1239
49
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1240
49
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1241
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1242
STARTCHAR n
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1243
ENCODING 110
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1244
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1245
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1246
BBX 7 7 0 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1247
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1248
dc
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1249
62
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1250
42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1251
42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1252
42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1253
42
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1254
42
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1255
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1256
STARTCHAR o
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1257
ENCODING 111
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1258
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1259
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1260
BBX 8 7 0 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1261
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1262
3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1263
42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1264
81
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1265
81
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1266
81
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1267
42
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1268
3c
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1269
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1270
STARTCHAR p
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1271
ENCODING 112
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1272
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1273
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1274
BBX 7 10 1 -3
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1275
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1276
b8
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1277
c4
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1278
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1279
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1280
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1281
c4
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1282
b8
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1283
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1284
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1285
80
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1286
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1287
STARTCHAR q
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1288
ENCODING 113
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1289
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1290
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1291
BBX 7 10 0 -3
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1292
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1293
3a
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1294
46
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1295
82
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1296
82
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1297
82
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1298
46
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1299
3a
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1300
02
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1301
02
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1302
02
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1303
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1304
STARTCHAR r
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1305
ENCODING 114
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1306
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1307
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1308
BBX 6 7 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1309
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1310
98
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1311
a4
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1312
c0
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1313
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1314
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1315
80
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1316
80
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1317
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1318
STARTCHAR s
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1319
ENCODING 115
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1320
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1321
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1322
BBX 6 7 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1323
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1324
78
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1325
84
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1326
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1327
78
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1328
04
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1329
84
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1330
78
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1331
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1332
STARTCHAR t
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1333
ENCODING 116
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1334
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1335
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1336
BBX 6 9 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1337
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1338
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1339
40
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1340
f0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1341
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1342
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1343
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1344
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1345
44
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1346
38
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1347
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1348
STARTCHAR u
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1349
ENCODING 117
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1350
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1351
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1352
BBX 7 7 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1353
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1354
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1355
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1356
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1357
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1358
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1359
8c
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1360
76
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1361
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1362
STARTCHAR v
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1363
ENCODING 118
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1364
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1365
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1366
BBX 6 7 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1367
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1368
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1369
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1370
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1371
48
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1372
48
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1373
30
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1374
30
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1375
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1376
STARTCHAR w
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1377
ENCODING 119
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1378
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1379
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1380
BBX 7 7 1 0
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1381
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1382
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1383
82
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1384
92
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1385
92
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1386
54
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1387
6c
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1388
6c
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1389
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1390
STARTCHAR x
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1391
ENCODING 120
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1392
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1393
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1394
BBX 7 7 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1395
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1396
c6
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1397
44
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1398
28
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1399
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1400
28
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1401
44
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1402
c6
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1403
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1404
STARTCHAR y
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1405
ENCODING 121
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1406
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1407
DWIDTH 9 0
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1408
BBX 6 10 1 -3
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1409
BITMAP
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1410
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1411
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1412
84
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1413
48
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1414
48
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1415
30
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1416
10
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1417
20
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1418
20
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1419
60
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1420
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1421
STARTCHAR z
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1422
ENCODING 122
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1423
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1424
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1425
BBX 5 7 1 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1426
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1427
f8
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1428
08
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1429
10
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1430
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1431
40
2758
f433eb78b927 now sans serifs;
wenzelm
parents: 2757
diff changeset
  1432
80
2745
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1433
f8
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1434
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1435
STARTCHAR braceleft
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1436
ENCODING 123
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1437
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1438
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1439
BBX 3 12 3 -2
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1440
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1441
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1442
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1443
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1444
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1445
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1446
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1447
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1448
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1449
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1450
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1451
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1452
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1453
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1454
STARTCHAR bar
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1455
ENCODING 124
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1456
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1457
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1458
BBX 1 11 4 -2
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1459
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1460
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1461
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1462
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1463
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1464
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1465
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1466
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1467
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1468
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1469
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1470
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1471
ENDCHAR
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1472
STARTCHAR braceright
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1473
ENCODING 125
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1474
SWIDTH 600 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1475
DWIDTH 9 0
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1476
BBX 3 12 2 -2
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1477
BITMAP
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1478
80
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1479
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1480
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1481
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1482
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1483
20
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1484
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1485
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1486
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1487
40
6d0dd9491da8 renamed, improved, augmented version of isabelle fonts;
wenzelm
parents:
diff changeset
  1488
40