Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned some chars;
authorwenzelm
Fri, 21 Feb 1997 16:28:00 +0100
changeset 2674 4385d521a691
parent 2673 1b266c161134
child 2675 e2908f8edc8d
tuned some chars;
lib/fonts/isacb24.bdf file | annotate | diff | comparison | revisions
lib/fonts/isacr14.bdf file | annotate | diff | comparison | revisions 
--- a/lib/fonts/isacb24.bdf	Fri Feb 21 15:38:44 1997 +0100
+++ b/lib/fonts/isacb24.bdf	Fri Feb 21 16:28:00 1997 +0100
@@ -2719,15 +2719,14 @@
 ENCODING 191
 SWIDTH 666 0
 DWIDTH 15 0
-BBX 9 7 2 0
+BBX 8 6 2 1
 BITMAP
-ff80
-ff80
-0380
-0380
-0380
-0380
-0380
+ff
+ff
+03
+03
+03
+03
 ENDCHAR
 STARTCHAR C161
 ENCODING 192
@@ -2786,22 +2785,22 @@
 ENCODING 195
 SWIDTH 600 0
 DWIDTH 15 0
-BBX 10 14 1 0
+BBX 9 14 1 0
 BITMAP
-ffc0
-ffc0
-01c0
-01c0
-01c0
-01c0
-ffc0
-ffc0
-01c0
-01c0
-01c0
-01c0
-ffc0
-ffc0
+ff80
+ff80
+0180
+0180
+0180
+0180
+ff80
+ff80
+0180
+0180
+0180
+0180
+ff80
+ff80
 ENDCHAR
 STARTCHAR C166
 ENCODING 196
@@ -2829,89 +2828,89 @@
 ENCODING 197
 SWIDTH 600 0
 DWIDTH 15 0
-BBX 10 15 1 -1
+BBX 8 15 1 -1
 BITMAP
-ffc0
-ffc0
-c000
-c000
-c000
-c000
-c000
-c000
-c000
-c000
-c000
-c000
-c000
-c000
-c000
+ff
+ff
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
 ENDCHAR
 STARTCHAR C197
 ENCODING 198
 SWIDTH 600 0
 DWIDTH 15 0
-BBX 10 15 1 -1
+BBX 8 15 1 -1
 BITMAP
-ffc0
-ffc0
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
+ff
+ff
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
 ENDCHAR
 STARTCHAR C197
 ENCODING 199
 SWIDTH 600 0
 DWIDTH 15 0
-BBX 10 15 1 -1
+BBX 8 15 1 -1
 BITMAP
-c000
-c000
-c000
-c000
-c000
-c000
-c000
-c000
-c000
-c000
-c000
-c000
-c000
-ffc0
-ffc0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+c0
+ff
+ff
 ENDCHAR
 STARTCHAR C197
 ENCODING 200
 SWIDTH 600 0
 DWIDTH 15 0
-BBX 10 15 1 -1
+BBX 8 15 1 -1
 BITMAP
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
-00c0
-ffc0
-ffc0
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+03
+ff
+ff
 ENDCHAR
 STARTCHAR C201
 ENCODING 201
@@ -2961,43 +2960,43 @@
 ENCODING 203
 SWIDTH 600 0
 DWIDTH 15 0
-BBX 10 14 1 0
+BBX 8 14 1 0
 BITMAP
-ffc0
-ffc0
-cc00
-cc00
-cc00
-cc00
-cc00
-cc00
-cc00
-cc00
-cc00
-cc00
-ffc0
-ffc0
+ff
+ff
+d8
+d8
+d8
+d8
+d8
+d8
+d8
+d8
+d8
+d8
+ff
+ff
 ENDCHAR
 STARTCHAR C204
 ENCODING 204
 SWIDTH 600 0
 DWIDTH 15 0
-BBX 10 14 1 0
+BBX 8 14 1 0
 BITMAP
-ffc0
-ffc0
-0cc0
-0cc0
-0cc0
-0cc0
-0cc0
-0cc0
-0cc0
-0cc0
-0cc0
-0cc0
-ffc0
-ffc0
+ff
+ff
+1b
+1b
+1b
+1b
+1b
+1b
+1b
+1b
+1b
+1b
+ff
+ff
 ENDCHAR
 STARTCHAR o
 ENCODING 205
@@ -3273,15 +3272,15 @@
 BBX 10 10 1 2
 BITMAP
 0300
-0700
+0600
 ffc0
 ffc0
-0e00
-1c00
+0c00
+1800
 ffc0
 ffc0
-3800
 3000
+6000
 ENDCHAR
 STARTCHAR C161
 ENCODING 220
@@ -3476,7 +3475,7 @@
 1c00
 0c00
 ENDCHAR
-STARTCHAR  hline
+STARTCHAR hline
 ENCODING 231
 SWIDTH 600 0
 DWIDTH 15 0
--- a/lib/fonts/isacr14.bdf	Fri Feb 21 15:38:44 1997 +0100
+++ b/lib/fonts/isacr14.bdf	Fri Feb 21 16:28:00 1997 +0100
@@ -1,33 +1,4 @@
 STARTFONT 2.1
-COMMENT
-COMMENT  Copyright 1984, 1987 Adobe Systems, Inc.
-COMMENT  Portions Copyright 1988 Digital Equipment Corporation
-COMMENT  Portions Copyright 1993 TU Muenchen, Germany
-COMMENT
-COMMENT  Adobe is a registered trademark of Adobe Systems, Inc.  Permission
-COMMENT  to use these trademarks is hereby granted only in association with the
-COMMENT  images described in this file.
-COMMENT
-COMMENT  Permission to use, copy, modify, and distribute this software and
-COMMENT  its documentation for any purpose and without fee is hereby granted,
-COMMENT  provided that the above copyright notices appear in all copies and
-COMMENT  that both those copyright notices and this permission notice appear
-COMMENT  in supporting documentation, and that the names of Adobe Systems,
-COMMENT  Digital Equipment Corporation, and TU Muenchen not be used in
-COMMENT  advertising or publicity pertaining to distribution of the software
-COMMENT  without specific, written prior permission.  Adobe Systems, Digital
-COMMENT  Equipment Corporation, and TU Muenchen  make no representations about
-COMMENT  the suitability of this software for any purpose.  It is provided "as
-COMMENT  is" without express or implied warranty.
-COMMENT
-COMMENT  ADOBE SYSTEMS, DIGITAL EQUIPMENT CORPORATION AND TU MUENCHEN DISCLAIM
-COMMENT  ALL WARRANTIES WITH REGARD TO THIS SOFTWARE, INCLUDING ALL IMPLIED
-COMMENT  WARRANTIES OF MERCHANTABILITY AND FITNESS, IN NO EVENT SHALL ADOBE
-COMMENT  SYSTEMS, DIGITAL EQUIPMENT CORPORATION AND TU MUENCHEN BE LIABLE FOR 
-COMMENT  ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
-COMMENT  WHATSOEVE RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
-COMMENT  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT 
-COMMENT  OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 FONT -isabelle-courier-medium-r-normal--14-140-75-75-m-90-isabelle-0
 SIZE 14 75 75
 FONTBOUNDINGBOX 9 14 4 -3
@@ -49,7 +20,7 @@
 CHARSET_ENCODING "0"
 CHARSET_COLLECTIONS ""
 FULL_NAME "Courier"
-COPYRIGHT "Copyright (c) 1985,1987 Adobe Systems,Inc.,Portions Copyright 1988 Digital Equipment Corp., Portions Copyright 1993 TU Muenchen"
+COPYRIGHT "Copyright (c) 1985,1987 Adobe Systems,Inc."
 FONT_ASCENT 11
 FONT_DESCENT 3
 CAP_HEIGHT 9
@@ -1589,14 +1560,14 @@
 BITMAP
 0800
 0800
-1C00
+1c00
 3600
 3600
 6300
 6300
-C180
-C180
-E380
+c180
+c180
+e380
 ENDCHAR
 STARTCHAR Pi
 ENCODING 165
@@ -2010,12 +1981,12 @@
 ENCODING 191
 SWIDTH 666 0
 DWIDTH 9 0
-BBX 7 4 1 0
+BBX 6 4 1 0
 BITMAP
-fe
-06
-06
-06
+fc
+04
+04
+04
 ENDCHAR
 STARTCHAR and
 ENCODING 192
@@ -2101,9 +2072,9 @@
 ENCODING 197
 SWIDTH 600 0
 DWIDTH 9 0
-BBX 7 12 1 -2
+BBX 5 12 1 -2
 BITMAP
-fe
+f8
 80
 80
 80
@@ -2120,26 +2091,26 @@
 ENCODING 198
 SWIDTH 600 0
 DWIDTH 9 0
-BBX 7 12 1 -2
+BBX 5 12 1 -2
 BITMAP
-fe
-02
-02
-02
-02
-02
-02
-02
-02
-02
-02
-02
+f8
+08
+08
+08
+08
+08
+08
+08
+08
+08
+08
+08
 ENDCHAR
 STARTCHAR lfloor
 ENCODING 199
 SWIDTH 600 0
 DWIDTH 9 0
-BBX 7 12 1 -2
+BBX 5 12 1 -2
 BITMAP
 80
 80
@@ -2152,26 +2123,26 @@
 80
 80
 80
-fe
+f8
 ENDCHAR
 STARTCHAR rfloor
 ENCODING 200
 SWIDTH 600 0
 DWIDTH 9 0
-BBX 7 12 1 -2
+BBX 5 12 1 -2
 BITMAP
-02
-02
-02
-02
-02
-02
-02
-02
-02
-02
-02
-fe
+08
+08
+08
+08
+08
+08
+08
+08
+08
+08
+08
+f8
 ENDCHAR
 STARTCHAR llparenthesis
 ENCODING 201
@@ -2215,39 +2186,39 @@
 ENCODING 203
 SWIDTH 600 0
 DWIDTH 9 0
-BBX 7 12 1 -2
+BBX 6 12 1 -2
 BITMAP
-fe
-90
-90
-90
-90
-90
-90
-90
-90
-90
-90
-fe
+fc
+a0
+a0
+a0
+a0
+a0
+a0
+a0
+a0
+a0
+a0
+fc
 ENDCHAR
 STARTCHAR rrbracket
 ENCODING 204
 SWIDTH 600 0
 DWIDTH 9 0
-BBX 7 12 1 -2
+BBX 6 12 1 -2
 BITMAP
-FE
-12
-12
-12
-12
-12
-12
-12
-12
-12
-12
-FE
+fc
+14
+14
+14
+14
+14
+14
+14
+14
+14
+14
+fc
 ENDCHAR
 STARTCHAR emptyset
 ENCODING 205
@@ -2399,7 +2370,7 @@
 DWIDTH 9 0
 BBX 7 10 1 -1
 BITMAP
-FE
+fe
 82
 82
 82
@@ -2425,7 +2396,7 @@
 82
 82
 82
-FE
+fe
 ENDCHAR
 STARTCHAR perp
 ENCODING 216
@@ -2469,13 +2440,15 @@
 ENCODING 219
 SWIDTH 666 0
 DWIDTH 9 0
-BBX 7 5 1 1
+BBX 7 7 1 -1
 BITMAP
+04
 08
 fe
 10
 fe
 20
+40
 ENDCHAR
 STARTCHAR sqsubset
 ENCODING 220
@@ -2632,7 +2605,7 @@
 DWIDTH 9 0
 BBX 9 1 0 4
 BITMAP
-FF80
+ff80
 ENDCHAR
 STARTCHAR rightarrow
 ENCODING 232
@@ -2666,9 +2639,9 @@
 DWIDTH 9 0
 BBX 9 3 0 2
 BITMAP
-FF80
+ff80
 0000
-FF80
+ff80
 ENDCHAR
 STARTCHAR Rightarrow
 ENCODING 235
@@ -2801,7 +2774,7 @@
 ENCODING 244
 SWIDTH 240 0
 DWIDTH 9 0
-BBX 9 9 0 0 
+BBX 9 9 0 0
 BITMAP
 1c00
 2200
@@ -2833,7 +2806,7 @@
 ENCODING 246
 SWIDTH 666 0
 DWIDTH 9 0
-BBX 9 9 0 0 
+BBX 9 9 0 0
 BITMAP
 1c00
 2200
isabelle