Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/8bit/fonts/isacr14.bdf
changeset 2392 2fb9659d30ca
parent 1826 2a2c0dbeb4ac 
--- a/src/Tools/8bit/fonts/isacr14.bdf	Fri Dec 13 18:25:45 1996 +0100
+++ b/src/Tools/8bit/fonts/isacr14.bdf	Fri Dec 13 18:32:07 1996 +0100
@@ -33,8 +33,8 @@
 FONTBOUNDINGBOX 9 14 4 -3
 STARTPROPERTIES 22
 FONTNAME_REGISTRY ""
-FAMILY_NAME "Isabelle"
-FOUNDRY ""
+FAMILY_NAME "Courier"
+FOUNDRY "Adobe"
 WEIGHT_NAME "Medium"
 SLANT "R"
 SETWIDTH_NAME "Normal"
@@ -45,11 +45,11 @@
 RESOLUTION_Y 75
 SPACING "M"
 AVERAGE_WIDTH 90
-CHARSET_REGISTRY ""
+CHARSET_REGISTRY "ISO8859"
 CHARSET_ENCODING "1"
 CHARSET_COLLECTIONS ""
 FULL_NAME "Isabelle14"
-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.,Portions Copyright 1988 Digital Equipment Corp., Portions Copyright 1995 TU Muenchen"
 FONT_ASCENT 11
 FONT_DESCENT 3
 CAP_HEIGHT 9
isabelle