Mercurial Mercurial > repos > isabelle / annotate
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.
lib/fonts/IsabelleMono.sfd
author nipkow
Wed, 04 Mar 2009 10:47:20 +0100
changeset 30235 58d147683393
parent 29085 29de5c277f2a
permissions -rw-r--r--
Made Option a separate theory and renamed option_map to Option.map
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
29073
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
     1
 
SplineFontDB: 2.0
29078
006334dd31a0 renamed to IsabelleMono;
wenzelm
parents: 29074
diff changeset 
     2
 
FontName: IsabelleMono
006334dd31a0 renamed to IsabelleMono;
wenzelm
parents: 29074
diff changeset 
     3
 
FullName: IsabelleMono
006334dd31a0 renamed to IsabelleMono;
wenzelm
parents: 29074
diff changeset 
     4
 
FamilyName: IsabelleMono
29074
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
     5
 
Weight: Book
29078
006334dd31a0 renamed to IsabelleMono;
wenzelm
parents: 29074
diff changeset 
     6
 
Copyright:
006334dd31a0 renamed to IsabelleMono;
wenzelm
parents: 29074
diff changeset 
     7
 
Version: IsabelleMono
29073
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
     8
 
ItalicAngle: 0
29074
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
     9
 
UnderlinePosition: -283
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    10
 
UnderlineWidth: 141
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    11
 
Ascent: 1556
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    12
 
Descent: 492
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    13
 
Order2: 1
29080
2671cb2e55ac added glyphs for \<A> (cal), \<a> (rm), \<AA> (\frak), \<aa> (frak);
wenzelm
parents: 29078
diff changeset 
    14
 
NeedsXUIDChange: 1
29078
006334dd31a0 renamed to IsabelleMono;
wenzelm
parents: 29074
diff changeset 
    15
 
XUID: [1021 906 1711068302 1934665]
29074
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    16
 
FSType: 4
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    17
 
OS2Version: 1
29073
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    18
 
OS2_WeightWidthSlopeOnly: 0
29074
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    19
 
OS2_UseTypoMetrics: 1
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    20
 
CreationTime: 1050361371
29085
29de5c277f2a replaced single quote by mathematical prime;
wenzelm
parents: 29082
diff changeset 
    21
 
ModificationTime: 1220730733
29073
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    22
 
PfmFamily: 17
29074
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    23
 
TTFWeight: 400
29073
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    24
 
TTFWidth: 5
29074
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    25
 
LineGap: 0
29073
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    26
 
VLineGap: 0
29074
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    27
 
Panose: 2 11 6 9 3 8 4 2 2 4
29073
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    28
 
OS2TypoAscent: 0
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    29
 
OS2TypoAOffset: 1
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    30
 
OS2TypoDescent: 0
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    31
 
OS2TypoDOffset: 1
29074
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    32
 
OS2TypoLinegap: 410
29073
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    33
 
OS2WinAscent: 0
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    34
 
OS2WinAOffset: 1
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    35
 
OS2WinDescent: 0
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    36
 
OS2WinDOffset: 1
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    37
 
HheadAscent: 0
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    38
 
HheadAOffset: 1
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    39
 
HheadDescent: 0
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    40
 
HheadDOffset: 1
29074
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    41
 
OS2SubXSize: 1351
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    42
 
OS2SubYSize: 1228
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    43
 
OS2SubXOff: 0
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    44
 
OS2SubYOff: -446
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    45
 
OS2SupXSize: 1351
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    46
 
OS2SupYSize: 1228
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    47
 
OS2SupXOff: 0
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    48
 
OS2SupYOff: 595
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    49
 
OS2StrikeYSize: 141
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    50
 
OS2StrikeYPos: 614
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    51
 
OS2FamilyClass: 2050
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    52
 
OS2Vendor: 'Bits'
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    53
 
OS2CodePages: 00000001.00000000
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    54
 
OS2UnicodeRanges: 800000af.1000204a.00000000.00000000
29073
feb740b8c043 Isabelle font with digits and letters from Bitstream Vera Mono (scaled 45%);
wenzelm
parents:
diff changeset 
    55
 
DEI: 0
29074
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    56
 
TtfTable: prep 1819
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    57
 
\H79^'sa'0"[O+/'`aO"!s',:J,f]Q'EJ+4!s'&8rW!$$&c`OE!s&u6rW!$$&-2\0!s&o4RK*Ej
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    58
 
%KQJ.!s&k:lUM+E,lnGTI/j?M$ihRR!s&c01&qCW$36@l!s&].rW!$$#QP>7!s&W,rW!$$"ooqL
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    59
 
!s&Q*rW!$$"98o3!s&K(,le#J!W`3"!s&Ef=oJO&rWE+I"8r-#qu-]o1'@?a"8I9Hp\'OLp\k9h
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    60
 
^]aB(=U"MX"876Jp%0R7oiVCi5Qp^+"7u(:"nVQmnh1+8rWDZh"7IuImM#cjQ36L>7g88Y"73Pt
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    61
 
d6R^7lUM'Bl!st_Q36A^"6f^dkN3]ekPbSG)[#4$"6=5"j8K/?]*%$M)$T!q"5k%!hj+B$rWD!U
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    62
 
"5MWG"l0(ZgD'hEQ35gm'a<:i"5&S@"kXOlf6mbP3Wmol$O,'A"4[;Pe'\R,e,BHt$3S]T"47#L
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    63
 
c\`;<cQ!&4('Dh\"3d&5bDRYMbPhUdrWC8j"3CHDa8Q1\rWC-.%0a]L"2k*?_YsYRrWBrq$O+<[
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    64
 
"2>6H^:h,^^A\5J]Nk]S]*#`s"MD>m"h\+C]KcV3,m1aX"1a^"\;roZ\,HK<O$NrXq?+-o%0a-<
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    65
 
"1)M?Z=F'B%KipJ"0_\+Y5U]b"0MP)XSr=&&d,05"0&4/"fX6ZW"&p-V@a!0-j-=Y"/VeF"f6VL
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    66
 
Ub)\DrWAno"/5\rTV!)*TO\.sSe)'t)$?HA".]c$SGiV[RLKFirWASu".>N/"e#>lQnAK-O$Nr9
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    67
 
Q33G<]*4N""-o*V"dQ\%Q%0"%O<k'p>m$<V"I&feP5YQGO<k'm]*"-@"-8?d"ckqONf=DMNYDST
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    68
 
$Nl?G,mB6<",i$K"cFZ/M@frIrW@uU",HjXL4p3CLAh:/&Hd^c",$RTJe:<QJl;c&rW@[q"+PcJ
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    69
 
"b6LRIXM<H*Wpfh"+(L[HN""jrW@?C"*J\o"a(=XFgqGP5hZ?_$j1Ue"EP1XF$KkKrW@0>"*"5A
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    70
 
Df/JWDjCKCD(#R*;Zgkb")Rr=CGH!,rW?ji").N5B=e7XrW?a2"(_B5@q$J_A,ZR>!"]<C*WojM
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    71
 
"(;*1?iC.6=pkL?%Kg!I"'inL>?VC<>8.0C$NjQ2"'?6>=8i;&rW?.>)$O"q"'#7%;uQksrW?#G
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: 29073
diff changeset 
    72
 
"&St!:D<n+rW>jq/HnlJ"&-</9.0m78JhV'2ZlW=&d:iD"%Yit"\AUp7mdmm7q;]k72Q1t])tJ=
7250cd050f3f the other way round: import Isabelle font (222%) into Bitstream Vera Mono -- achieves better quality;
wenzelm
parents: