tuned some chars;
authorwenzelm
Fri Feb 21 16:28:00 1997 +0100 (1997-02-21)
changeset 26744385d521a691
parent 2673 1b266c161134
child 2675 e2908f8edc8d
tuned some chars;
lib/fonts/isacb24.bdf
lib/fonts/isacr14.bdf
     1.1 --- a/lib/fonts/isacb24.bdf	Fri Feb 21 15:38:44 1997 +0100
     1.2 +++ b/lib/fonts/isacb24.bdf	Fri Feb 21 16:28:00 1997 +0100
     1.3 @@ -2719,15 +2719,14 @@
     1.4  ENCODING 191
     1.5  SWIDTH 666 0
     1.6  DWIDTH 15 0
     1.7 -BBX 9 7 2 0
     1.8 +BBX 8 6 2 1
     1.9  BITMAP
    1.10 -ff80
    1.11 -ff80
    1.12 -0380
    1.13 -0380
    1.14 -0380
    1.15 -0380
    1.16 -0380
    1.17 +ff
    1.18 +ff
    1.19 +03
    1.20 +03
    1.21 +03
    1.22 +03
    1.23  ENDCHAR
    1.24  STARTCHAR C161
    1.25  ENCODING 192
    1.26 @@ -2786,22 +2785,22 @@
    1.27  ENCODING 195
    1.28  SWIDTH 600 0
    1.29  DWIDTH 15 0
    1.30 -BBX 10 14 1 0
    1.31 +BBX 9 14 1 0
    1.32  BITMAP
    1.33 -ffc0
    1.34 -ffc0
    1.35 -01c0
    1.36 -01c0
    1.37 -01c0
    1.38 -01c0
    1.39 -ffc0
    1.40 -ffc0
    1.41 -01c0
    1.42 -01c0
    1.43 -01c0
    1.44 -01c0
    1.45 -ffc0
    1.46 -ffc0
    1.47 +ff80
    1.48 +ff80
    1.49 +0180
    1.50 +0180
    1.51 +0180
    1.52 +0180
    1.53 +ff80
    1.54 +ff80
    1.55 +0180
    1.56 +0180
    1.57 +0180
    1.58 +0180
    1.59 +ff80
    1.60 +ff80
    1.61  ENDCHAR
    1.62  STARTCHAR C166
    1.63  ENCODING 196
    1.64 @@ -2829,89 +2828,89 @@
    1.65  ENCODING 197
    1.66  SWIDTH 600 0
    1.67  DWIDTH 15 0
    1.68 -BBX 10 15 1 -1
    1.69 +BBX 8 15 1 -1
    1.70  BITMAP
    1.71 -ffc0
    1.72 -ffc0
    1.73 -c000
    1.74 -c000
    1.75 -c000
    1.76 -c000
    1.77 -c000
    1.78 -c000
    1.79 -c000
    1.80 -c000
    1.81 -c000
    1.82 -c000
    1.83 -c000
    1.84 -c000
    1.85 -c000
    1.86 +ff
    1.87 +ff
    1.88 +c0
    1.89 +c0
    1.90 +c0
    1.91 +c0
    1.92 +c0
    1.93 +c0
    1.94 +c0
    1.95 +c0
    1.96 +c0
    1.97 +c0
    1.98 +c0
    1.99 +c0
   1.100 +c0
   1.101  ENDCHAR
   1.102  STARTCHAR C197
   1.103  ENCODING 198
   1.104  SWIDTH 600 0
   1.105  DWIDTH 15 0
   1.106 -BBX 10 15 1 -1
   1.107 +BBX 8 15 1 -1
   1.108  BITMAP
   1.109 -ffc0
   1.110 -ffc0
   1.111 -00c0
   1.112 -00c0
   1.113 -00c0
   1.114 -00c0
   1.115 -00c0
   1.116 -00c0
   1.117 -00c0
   1.118 -00c0
   1.119 -00c0
   1.120 -00c0
   1.121 -00c0
   1.122 -00c0
   1.123 -00c0
   1.124 +ff
   1.125 +ff
   1.126 +03
   1.127 +03
   1.128 +03
   1.129 +03
   1.130 +03
   1.131 +03
   1.132 +03
   1.133 +03
   1.134 +03
   1.135 +03
   1.136 +03
   1.137 +03
   1.138 +03
   1.139  ENDCHAR
   1.140  STARTCHAR C197
   1.141  ENCODING 199
   1.142  SWIDTH 600 0
   1.143  DWIDTH 15 0
   1.144 -BBX 10 15 1 -1
   1.145 +BBX 8 15 1 -1
   1.146  BITMAP
   1.147 -c000
   1.148 -c000
   1.149 -c000
   1.150 -c000
   1.151 -c000
   1.152 -c000
   1.153 -c000
   1.154 -c000
   1.155 -c000
   1.156 -c000
   1.157 -c000
   1.158 -c000
   1.159 -c000
   1.160 -ffc0
   1.161 -ffc0
   1.162 +c0
   1.163 +c0
   1.164 +c0
   1.165 +c0
   1.166 +c0
   1.167 +c0
   1.168 +c0
   1.169 +c0
   1.170 +c0
   1.171 +c0
   1.172 +c0
   1.173 +c0
   1.174 +c0
   1.175 +ff
   1.176 +ff
   1.177  ENDCHAR
   1.178  STARTCHAR C197
   1.179  ENCODING 200
   1.180  SWIDTH 600 0
   1.181  DWIDTH 15 0
   1.182 -BBX 10 15 1 -1
   1.183 +BBX 8 15 1 -1
   1.184  BITMAP
   1.185 -00c0
   1.186 -00c0
   1.187 -00c0
   1.188 -00c0
   1.189 -00c0
   1.190 -00c0
   1.191 -00c0
   1.192 -00c0
   1.193 -00c0
   1.194 -00c0
   1.195 -00c0
   1.196 -00c0
   1.197 -00c0
   1.198 -ffc0
   1.199 -ffc0
   1.200 +03
   1.201 +03
   1.202 +03
   1.203 +03
   1.204 +03
   1.205 +03
   1.206 +03
   1.207 +03
   1.208 +03
   1.209 +03
   1.210 +03
   1.211 +03
   1.212 +03
   1.213 +ff
   1.214 +ff
   1.215  ENDCHAR
   1.216  STARTCHAR C201
   1.217  ENCODING 201
   1.218 @@ -2961,43 +2960,43 @@
   1.219  ENCODING 203
   1.220  SWIDTH 600 0
   1.221  DWIDTH 15 0
   1.222 -BBX 10 14 1 0
   1.223 +BBX 8 14 1 0
   1.224  BITMAP
   1.225 -ffc0
   1.226 -ffc0
   1.227 -cc00
   1.228 -cc00
   1.229 -cc00
   1.230 -cc00
   1.231 -cc00
   1.232 -cc00
   1.233 -cc00
   1.234 -cc00
   1.235 -cc00
   1.236 -cc00
   1.237 -ffc0
   1.238 -ffc0
   1.239 +ff
   1.240 +ff
   1.241 +d8
   1.242 +d8
   1.243 +d8
   1.244 +d8
   1.245 +d8
   1.246 +d8
   1.247 +d8
   1.248 +d8
   1.249 +d8
   1.250 +d8
   1.251 +ff
   1.252 +ff
   1.253  ENDCHAR
   1.254  STARTCHAR C204
   1.255  ENCODING 204
   1.256  SWIDTH 600 0
   1.257  DWIDTH 15 0
   1.258 -BBX 10 14 1 0
   1.259 +BBX 8 14 1 0
   1.260  BITMAP
   1.261 -ffc0
   1.262 -ffc0
   1.263 -0cc0
   1.264 -0cc0
   1.265 -0cc0
   1.266 -0cc0
   1.267 -0cc0
   1.268 -0cc0
   1.269 -0cc0
   1.270 -0cc0
   1.271 -0cc0
   1.272 -0cc0
   1.273 -ffc0
   1.274 -ffc0
   1.275 +ff
   1.276 +ff
   1.277 +1b
   1.278 +1b
   1.279 +1b
   1.280 +1b
   1.281 +1b
   1.282 +1b
   1.283 +1b
   1.284 +1b
   1.285 +1b
   1.286 +1b
   1.287 +ff
   1.288 +ff
   1.289  ENDCHAR
   1.290  STARTCHAR o
   1.291  ENCODING 205
   1.292 @@ -3273,15 +3272,15 @@
   1.293  BBX 10 10 1 2
   1.294  BITMAP
   1.295  0300
   1.296 -0700
   1.297 +0600
   1.298  ffc0
   1.299  ffc0
   1.300 -0e00
   1.301 -1c00
   1.302 +0c00
   1.303 +1800
   1.304  ffc0
   1.305  ffc0
   1.306 -3800
   1.307  3000
   1.308 +6000
   1.309  ENDCHAR
   1.310  STARTCHAR C161
   1.311  ENCODING 220
   1.312 @@ -3476,7 +3475,7 @@
   1.313  1c00
   1.314  0c00
   1.315  ENDCHAR
   1.316 -STARTCHAR  hline
   1.317 +STARTCHAR hline
   1.318  ENCODING 231
   1.319  SWIDTH 600 0
   1.320  DWIDTH 15 0
     2.1 --- a/lib/fonts/isacr14.bdf	Fri Feb 21 15:38:44 1997 +0100
     2.2 +++ b/lib/fonts/isacr14.bdf	Fri Feb 21 16:28:00 1997 +0100
     2.3 @@ -1,33 +1,4 @@
     2.4  STARTFONT 2.1
     2.5 -COMMENT
     2.6 -COMMENT  Copyright 1984, 1987 Adobe Systems, Inc.
     2.7 -COMMENT  Portions Copyright 1988 Digital Equipment Corporation
     2.8 -COMMENT  Portions Copyright 1993 TU Muenchen, Germany
     2.9 -COMMENT
    2.10 -COMMENT  Adobe is a registered trademark of Adobe Systems, Inc.  Permission
    2.11 -COMMENT  to use these trademarks is hereby granted only in association with the
    2.12 -COMMENT  images described in this file.
    2.13 -COMMENT
    2.14 -COMMENT  Permission to use, copy, modify, and distribute this software and
    2.15 -COMMENT  its documentation for any purpose and without fee is hereby granted,
    2.16 -COMMENT  provided that the above copyright notices appear in all copies and
    2.17 -COMMENT  that both those copyright notices and this permission notice appear
    2.18 -COMMENT  in supporting documentation, and that the names of Adobe Systems,
    2.19 -COMMENT  Digital Equipment Corporation, and TU Muenchen not be used in
    2.20 -COMMENT  advertising or publicity pertaining to distribution of the software
    2.21 -COMMENT  without specific, written prior permission.  Adobe Systems, Digital
    2.22 -COMMENT  Equipment Corporation, and TU Muenchen  make no representations about
    2.23 -COMMENT  the suitability of this software for any purpose.  It is provided "as
    2.24 -COMMENT  is" without express or implied warranty.
    2.25 -COMMENT
    2.26 -COMMENT  ADOBE SYSTEMS, DIGITAL EQUIPMENT CORPORATION AND TU MUENCHEN DISCLAIM
    2.27 -COMMENT  ALL WARRANTIES WITH REGARD TO THIS SOFTWARE, INCLUDING ALL IMPLIED
    2.28 -COMMENT  WARRANTIES OF MERCHANTABILITY AND FITNESS, IN NO EVENT SHALL ADOBE
    2.29 -COMMENT  SYSTEMS, DIGITAL EQUIPMENT CORPORATION AND TU MUENCHEN BE LIABLE FOR 
    2.30 -COMMENT  ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
    2.31 -COMMENT  WHATSOEVE RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
    2.32 -COMMENT  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT 
    2.33 -COMMENT  OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
    2.34  FONT -isabelle-courier-medium-r-normal--14-140-75-75-m-90-isabelle-0
    2.35  SIZE 14 75 75
    2.36  FONTBOUNDINGBOX 9 14 4 -3
    2.37 @@ -49,7 +20,7 @@
    2.38  CHARSET_ENCODING "0"
    2.39  CHARSET_COLLECTIONS ""
    2.40  FULL_NAME "Courier"
    2.41 -COPYRIGHT "Copyright (c) 1985,1987 Adobe Systems,Inc.,Portions Copyright 1988 Digital Equipment Corp., Portions Copyright 1993 TU Muenchen"
    2.42 +COPYRIGHT "Copyright (c) 1985,1987 Adobe Systems,Inc."
    2.43  FONT_ASCENT 11
    2.44  FONT_DESCENT 3
    2.45  CAP_HEIGHT 9
    2.46 @@ -1589,14 +1560,14 @@
    2.47  BITMAP
    2.48  0800
    2.49  0800
    2.50 -1C00
    2.51 +1c00
    2.52  3600
    2.53  3600
    2.54  6300
    2.55  6300
    2.56 -C180
    2.57 -C180
    2.58 -E380
    2.59 +c180
    2.60 +c180
    2.61 +e380
    2.62  ENDCHAR
    2.63  STARTCHAR Pi
    2.64  ENCODING 165
    2.65 @@ -2010,12 +1981,12 @@
    2.66  ENCODING 191
    2.67  SWIDTH 666 0
    2.68  DWIDTH 9 0
    2.69 -BBX 7 4 1 0
    2.70 +BBX 6 4 1 0
    2.71  BITMAP
    2.72 -fe
    2.73 -06
    2.74 -06
    2.75 -06
    2.76 +fc
    2.77 +04
    2.78 +04
    2.79 +04
    2.80  ENDCHAR
    2.81  STARTCHAR and
    2.82  ENCODING 192
    2.83 @@ -2101,9 +2072,9 @@
    2.84  ENCODING 197
    2.85  SWIDTH 600 0
    2.86  DWIDTH 9 0
    2.87 -BBX 7 12 1 -2
    2.88 +BBX 5 12 1 -2
    2.89  BITMAP
    2.90 -fe
    2.91 +f8
    2.92  80
    2.93  80
    2.94  80
    2.95 @@ -2120,26 +2091,26 @@
    2.96  ENCODING 198
    2.97  SWIDTH 600 0
    2.98  DWIDTH 9 0
    2.99 -BBX 7 12 1 -2
   2.100 +BBX 5 12 1 -2
   2.101  BITMAP
   2.102 -fe
   2.103 -02
   2.104 -02
   2.105 -02
   2.106 -02
   2.107 -02
   2.108 -02
   2.109 -02
   2.110 -02
   2.111 -02
   2.112 -02
   2.113 -02
   2.114 +f8
   2.115 +08
   2.116 +08
   2.117 +08
   2.118 +08
   2.119 +08
   2.120 +08
   2.121 +08
   2.122 +08
   2.123 +08
   2.124 +08
   2.125 +08
   2.126  ENDCHAR
   2.127  STARTCHAR lfloor
   2.128  ENCODING 199
   2.129  SWIDTH 600 0
   2.130  DWIDTH 9 0
   2.131 -BBX 7 12 1 -2
   2.132 +BBX 5 12 1 -2
   2.133  BITMAP
   2.134  80
   2.135  80
   2.136 @@ -2152,26 +2123,26 @@
   2.137  80
   2.138  80
   2.139  80
   2.140 -fe
   2.141 +f8
   2.142  ENDCHAR
   2.143  STARTCHAR rfloor
   2.144  ENCODING 200
   2.145  SWIDTH 600 0
   2.146  DWIDTH 9 0
   2.147 -BBX 7 12 1 -2
   2.148 +BBX 5 12 1 -2
   2.149  BITMAP
   2.150 -02
   2.151 -02
   2.152 -02
   2.153 -02
   2.154 -02
   2.155 -02
   2.156 -02
   2.157 -02
   2.158 -02
   2.159 -02
   2.160 -02
   2.161 -fe
   2.162 +08
   2.163 +08
   2.164 +08
   2.165 +08
   2.166 +08
   2.167 +08
   2.168 +08
   2.169 +08
   2.170 +08
   2.171 +08
   2.172 +08
   2.173 +f8
   2.174  ENDCHAR
   2.175  STARTCHAR llparenthesis
   2.176  ENCODING 201
   2.177 @@ -2215,39 +2186,39 @@
   2.178  ENCODING 203
   2.179  SWIDTH 600 0
   2.180  DWIDTH 9 0
   2.181 -BBX 7 12 1 -2
   2.182 +BBX 6 12 1 -2
   2.183  BITMAP
   2.184 -fe
   2.185 -90
   2.186 -90
   2.187 -90
   2.188 -90
   2.189 -90
   2.190 -90
   2.191 -90
   2.192 -90
   2.193 -90
   2.194 -90
   2.195 -fe
   2.196 +fc
   2.197 +a0
   2.198 +a0
   2.199 +a0
   2.200 +a0
   2.201 +a0
   2.202 +a0
   2.203 +a0
   2.204 +a0
   2.205 +a0
   2.206 +a0
   2.207 +fc
   2.208  ENDCHAR
   2.209  STARTCHAR rrbracket
   2.210  ENCODING 204
   2.211  SWIDTH 600 0
   2.212  DWIDTH 9 0
   2.213 -BBX 7 12 1 -2
   2.214 +BBX 6 12 1 -2
   2.215  BITMAP
   2.216 -FE
   2.217 -12
   2.218 -12
   2.219 -12
   2.220 -12
   2.221 -12
   2.222 -12
   2.223 -12
   2.224 -12
   2.225 -12
   2.226 -12
   2.227 -FE
   2.228 +fc
   2.229 +14
   2.230 +14
   2.231 +14
   2.232 +14
   2.233 +14
   2.234 +14
   2.235 +14
   2.236 +14
   2.237 +14
   2.238 +14
   2.239 +fc
   2.240  ENDCHAR
   2.241  STARTCHAR emptyset
   2.242  ENCODING 205
   2.243 @@ -2399,7 +2370,7 @@
   2.244  DWIDTH 9 0
   2.245  BBX 7 10 1 -1
   2.246  BITMAP
   2.247 -FE
   2.248 +fe
   2.249  82
   2.250  82
   2.251  82
   2.252 @@ -2425,7 +2396,7 @@
   2.253  82
   2.254  82
   2.255  82
   2.256 -FE
   2.257 +fe
   2.258  ENDCHAR
   2.259  STARTCHAR perp
   2.260  ENCODING 216
   2.261 @@ -2469,13 +2440,15 @@
   2.262  ENCODING 219
   2.263  SWIDTH 666 0
   2.264  DWIDTH 9 0
   2.265 -BBX 7 5 1 1
   2.266 +BBX 7 7 1 -1
   2.267  BITMAP
   2.268 +04
   2.269  08
   2.270  fe
   2.271  10
   2.272  fe
   2.273  20
   2.274 +40
   2.275  ENDCHAR
   2.276  STARTCHAR sqsubset
   2.277  ENCODING 220
   2.278 @@ -2632,7 +2605,7 @@
   2.279  DWIDTH 9 0
   2.280  BBX 9 1 0 4
   2.281  BITMAP
   2.282 -FF80
   2.283 +ff80
   2.284  ENDCHAR
   2.285  STARTCHAR rightarrow
   2.286  ENCODING 232
   2.287 @@ -2666,9 +2639,9 @@
   2.288  DWIDTH 9 0
   2.289  BBX 9 3 0 2
   2.290  BITMAP
   2.291 -FF80
   2.292 +ff80
   2.293  0000
   2.294 -FF80
   2.295 +ff80
   2.296  ENDCHAR
   2.297  STARTCHAR Rightarrow
   2.298  ENCODING 235
   2.299 @@ -2801,7 +2774,7 @@
   2.300  ENCODING 244
   2.301  SWIDTH 240 0
   2.302  DWIDTH 9 0
   2.303 -BBX 9 9 0 0 
   2.304 +BBX 9 9 0 0
   2.305  BITMAP
   2.306  1c00
   2.307  2200
   2.308 @@ -2833,7 +2806,7 @@
   2.309  ENCODING 246
   2.310  SWIDTH 666 0
   2.311  DWIDTH 9 0
   2.312 -BBX 9 9 0 0 
   2.313 +BBX 9 9 0 0
   2.314  BITMAP
   2.315  1c00
   2.316  2200