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.
lib/fonts/IsabelleMonoBold.sfd
changeset 29085 29de5c277f2a
parent 29083 a99ed3dc18c7 
--- a/lib/fonts/IsabelleMonoBold.sfd	Sun Aug 24 14:59:45 2008 +0200
+++ b/lib/fonts/IsabelleMonoBold.sfd	Sat Sep 06 21:55:43 2008 +0200
@@ -18,7 +18,7 @@
 OS2_WeightWidthSlopeOnly: 0
 OS2_UseTypoMetrics: 1
 CreationTime: 1050374980
-ModificationTime: 1219582387
+ModificationTime: 1220730795
 PfmFamily: 17
 TTFWeight: 700
 TTFWidth: 5
@@ -102,7 +102,7 @@
 DisplaySize: -48
 AntiAlias: 1
 FitToEm: 1
-WinInfo: 120736 16 14
+WinInfo: 0 16 14
 TeXData: 1 0 0 631296 315648 210432 573440 -1048576 210432 783286 444596 497025 792723 393216 433062 380633 303038 157286 324010 404750 52429 2506097 1059062 262144
 BeginChars: 1114112 626
 StartChar: u10000
@@ -173,7 +173,7 @@
 StartChar: quotedbl
 Encoding: 34 34 5
 Width: 1233
-Flags: HW
+Flags: W
 Fore
 895 1493 m 1,0,-1
  895 938 l 1,1,-1
@@ -603,34 +603,27 @@
 EndChar
 StartChar: quotesingle
 Encoding: 39 39 10
-Width: 614
-VWidth: 2220
-Flags: W
-HStem: 876.9 46.62<243.09 260.85> 1305.36 235.32<269.73 330.78>
-VStem: 408.48 48.84<1272.06 1312.02>
-Fore
-457.32 1307.58 m 0,0,1
- 457.32 1233.78 457.32 1233.78 438.005 1162.83 c 128,-1,2
- 418.691 1091.89 418.691 1091.89 390.854 1042.18 c 128,-1,3
- 363.017 992.47 363.017 992.47 332.688 953.691 c 128,-1,4
- 302.359 914.913 302.359 914.913 279.676 895.907 c 128,-1,5
- 256.993 876.9 256.993 876.9 248.64 876.9 c 0,6,7
- 239.76 876.9 239.76 876.9 233.1 883.56 c 128,-1,8
- 226.44 890.22 226.44 890.22 226.44 901.32 c 128,-1,9
- 226.44 912.42 226.44 912.42 253.08 939.06 c 0,10,11
- 302.223 987.423 302.223 987.423 335.814 1042.98 c 128,-1,12
- 369.405 1098.53 369.405 1098.53 383.779 1150.04 c 128,-1,13
- 398.152 1201.54 398.152 1201.54 403.316 1237.64 c 128,-1,14
- 408.48 1273.74 408.48 1273.74 408.48 1307.58 c 0,15,16
- 408.48 1347.54 408.48 1347.54 404.04 1347.54 c 0,17,18
- 400.709 1347.54 400.709 1347.54 397.38 1340.88 c 1,19,20
- 361.858 1305.36 361.858 1305.36 308.58 1305.36 c 0,21,22
- 252.317 1305.36 252.317 1305.36 221.618 1340.44 c 128,-1,23
- 190.92 1375.53 190.92 1375.53 190.92 1423.02 c 0,24,25
- 190.92 1470.04 190.92 1470.04 222.267 1505.36 c 128,-1,26
- 253.614 1540.68 253.614 1540.68 308.58 1540.68 c 0,27,28
- 378.344 1540.68 378.344 1540.68 417.832 1475.59 c 128,-1,29
- 457.32 1410.5 457.32 1410.5 457.32 1307.58 c 0,0,1
+Width: 610
+VWidth: 2630
+Flags: W
+HStem: 509.9 46.62<130.98 142.08> 1606.58 44.4<412.92 488.4>
+VStem: 64.38 517.26
+Fore
+566.1 1473.38 m 2,0,-1
+ 168.72 540.98 l 2,1,2
+ 155.4 509.9 155.4 509.9 139.86 509.9 c 0,3,4
+ 121.434 509.9 121.434 509.9 92.9072 521.787 c 128,-1,5
+ 64.3799 533.673 64.3799 533.673 64.3799 549.86 c 0,6,7
+ 64.3799 554.294 64.3799 554.294 71.04 580.94 c 2,8,-1
+ 339.66 1548.86 l 2,9,10
+ 344.242 1563.75 344.242 1563.75 346.869 1571.28 c 128,-1,11
+ 349.496 1578.81 349.496 1578.81 359.25 1596.55 c 128,-1,12
+ 369.004 1614.29 369.004 1614.29 380.188 1624.07 c 128,-1,13
+ 391.37 1633.84 391.37 1633.84 411.749 1642.41 c 128,-1,14
+ 432.128 1650.98 432.128 1650.98 457.32 1650.98 c 0,15,16
+ 505.62 1650.98 505.62 1650.98 543.63 1617.5 c 128,-1,17
+ 581.64 1584.01 581.64 1584.01 581.64 1535.54 c 0,18,19
+ 581.64 1506.68 581.64 1506.68 566.1 1473.38 c 2,0,-1
 EndSplineSet
 EndChar
 StartChar: parenleft
@@ -1402,7 +1395,7 @@
 Encoding: 62 62 33
 Width: 1724
 VWidth: 2220
-Flags: HW
+Flags: W
 DStem: 102 498 121 533 627 250 675 272 627 250 675 228 102 2 121 -33
 Fore
 1498.5 506.16 m 2,0,-1
@@ -2312,7 +2305,7 @@
 StartChar: underscore
 Encoding: 95 95 66
 Width: 1233
-Flags: HW
+Flags: W
 Fore
 301 735 m 1,0,-1
  932 735 l 1,1,-1
@@ -5545,7 +5538,7 @@
 Encoding: 8730 8730 165
 Width: 1218
 VWidth: 2220
-Flags: HW
+Flags: W
 DStem: 121 461 156 520 363 -35 353 123 156 520 121 461 10 449 26 414 480 913 515 908 353 123 363 -35
 Fore
 805.86 -77.7002 m 1,0,-1
@@ -6144,7 +6137,7 @@
 Encoding: 8725 8725 188
 Width: 1110
 VWidth: 2220
-Flags: HW
+Flags: W
 DStem: 402 730 438 712 61 -212 97 -230
 Fore
 972.36 1580.64 m 2,0,-1
@@ -7298,7 +7291,7 @@
 Encoding: 215 215 239
 Width: 1724
 VWidth: 2220
-Flags: HW
+Flags: W
 DStem: 160 450 188 478 588 22 617 50 589 478 617 450 160 51 188 22
 Fore
 927.96 555 m 1,0,-1
@@ -11476,7 +11469,7 @@
 Encoding: 8242 8242 321
 Width: 548
 VWidth: 2220
-Flags: HW
+Flags: W
 Fore
 59.9404 1078.92 m 1,0,-1
  286.38 1545.12 l 2,1,2
@@ -11494,7 +11487,7 @@
 Encoding: 8243 8243 322
 Width: 912
 VWidth: 2220
-Flags: HW
+Flags: W
 Fore
 44.4004 1078.92 m 1,0,-1
  270.84 1545.12 l 2,1,2
@@ -11599,7 +11592,7 @@
 Encoding: 8449 8449 325
 Width: 1598
 VWidth: 0
-Flags: HW
+Flags: W
 EndChar
 StartChar: uni2102
 Encoding: 8450 8450 326
@@ -17029,7 +17022,7 @@
 Encoding: 8810 8810 410
 Width: 2220
 VWidth: 2220
-Flags: HW
+Flags: W
 Fore
 1374.18 1165.5 m 2,0,-1
  261.96 555 l 1,1,-1
@@ -17077,7 +17070,7 @@
 Encoding: 8811 8811 411
 Width: 2220
 VWidth: 2220
-Flags: HW
+Flags: W
 Fore
 1376.4 508.38 m 2,0,-1
  182.04 -146.52 l 1,1,2
@@ -19411,7 +19404,7 @@
 Encoding: 8901 8901 454
 Width: 614
 VWidth: 2220
-Flags: HW
+Flags: W
 Fore
 426.24 555 m 0,0,1
  426.24 506.715 426.24 506.715 391.553 472.027 c 0,2,3
@@ -19911,7 +19904,7 @@
 Encoding: 9001 9001 468
 Width: 861
 VWidth: 2220
-Flags: HW
+Flags: W
 DStem: 115 232 151 250 290 -228 327 -212 291 730 327 712 115 268 151 250
 Fore
 725.94 1580.64 m 2,0,-1
@@ -19947,21 +19940,21 @@
 Fore
 606.06 515.04 m 2,0,0
  215.34 -510.6 l 2,0,0
- 209.927 -525.484 209.927 -525.484 205.587 -533.561 c 0
- 201.247 -541.637 201.247 -541.637 191.793 -548.319 c 0
+ 209.927 -525.484 209.927 -525.484 205.587 -533.561 c 0,1,2
+ 201.247 -541.637 201.247 -541.637 191.793 -548.319 c 0,3,4
  182.339 -555 182.339 -555 168.72 -555 c 0,0,0
- 150.405 -555 150.405 -555 137.363 -541.957 c 0
+ 150.405 -555 150.405 -555 137.363 -541.957 c 0,1,2
  124.32 -528.915 124.32 -528.915 124.32 -510.6 c 0,0,0
  124.32 -497.28 124.32 -497.28 135.42 -470.64 c 2,0,0
  526.14 555 l 1,0,0
  135.42 1580.64 l 2,0,0
  124.32 1607.28 124.32 1607.28 124.32 1620.6 c 0,0,0
- 124.32 1638.91 124.32 1638.91 137.363 1651.96 c 0
+ 124.32 1638.91 124.32 1638.91 137.363 1651.96 c 0,1,2
  150.405 1665 150.405 1665 168.72 1665 c 0,0,0
- 177.733 1665 177.733 1665 184.668 1662.48 c 0
- 191.604 1659.96 191.604 1659.96 196.141 1655.48 c 0
- 200.679 1651.01 200.679 1651.01 204.524 1644.86 c 0
- 208.369 1638.72 208.369 1638.72 211.202 1631.47 c 0
+ 177.733 1665 177.733 1665 184.668 1662.48 c 0,1,2
+ 191.604 1659.96 191.604 1659.96 196.141 1655.48 c 0,3,4
+ 200.679 1651.01 200.679 1651.01 204.524 1644.86 c 0,5,6
+ 208.369 1638.72 208.369 1638.72 211.202 1631.47 c 0,7,8
  214.034 1624.22 214.034 1624.22 217.56 1616.16 c 2,0,0
  606.06 594.96 l 2,0,0
  617.16 568.32 617.16 568.32 617.16 555 c 0,0,0
@@ -20501,7 +20494,7 @@
 Encoding: 9826 9826 482
 Width: 1724
 VWidth: 2220
-Flags: HW
+Flags: W
 Fore
 1602.84 626.04 m 0,0,1
  1602.84 610.501 1602.84 610.501 1585.08 588.3 c 1,2,3
@@ -22725,7 +22718,7 @@
 Encoding: 119965 119965 513
 Width: 1000
 VWidth: 2220
-Flags: HW
+Flags: W
 EndChar
 StartChar: u1D49E
 Encoding: 119966 119966 514
@@ -22865,13 +22858,13 @@
 Encoding: 119968 119968 516
 Width: 1000
 VWidth: 2220
-Flags: HW
+Flags: W
 EndChar
 StartChar: u1D4A1
 Encoding: 119969 119969 517
 Width: 1000
 VWidth: 2220
-Flags: HW
+Flags: W
 EndChar
 StartChar: u1D4A2
 Encoding: 119970 119970 518
@@ -22960,13 +22953,13 @@
 Encoding: 119971 119971 519
 Width: 1000
 VWidth: 2220
-Flags: HW
+Flags: W
 EndChar
 StartChar: u1D4A4
 Encoding: 119972 119972 520
 Width: 1000
 VWidth: 2220
-Flags: HW
+Flags: W
 EndChar
 StartChar: u1D4A5
 Encoding: 119973 119973 521
@@ -23134,13 +23127,13 @@
 Encoding: 119975 119975 523
 Width: 1000
 VWidth: 2220
-Flags: HW
+Flags: W
 EndChar
 StartChar: u1D4A8
 Encoding: 119976 119976 524
 Width: 1000
 VWidth: 2220
-Flags: HW
+Flags: W
 EndChar
 StartChar: u1D4A9
 Encoding: 119977 119977 525
@@ -23453,7 +23446,7 @@
 Encoding: 119981 119981 529
 Width: 1000
 VWidth: 2220
-Flags: HW
+Flags: W
 EndChar
 StartChar: u1D4AE
 Encoding: 119982 119982 530
@@ -24299,7 +24292,7 @@
 Encoding: 120070 120070 540
 Width: 1000
 VWidth: 2220
-Flags: HW
+Flags: W
 EndChar
 StartChar: u1D507
 Encoding: 120071 120071 541
@@ -24571,7 +24564,7 @@
 Encoding: 120075 120075 545
 Width: 1000
 VWidth: 2220
-Flags: HW
+Flags: W
 EndChar
 StartChar: u1D50C
 Encoding: 120076 120076 546
isabelle