glyphs from DejaVu for ASCII control characters 5, 6, 7, 127, which have a special meaning in Isabelle or Poly/ML;
authorwenzelm
Tue Jul 12 11:19:42 2011 +0200 (2011-07-12)
changeset 43769beba1a87caaa
parent 43768 d52ab827d62b
child 43770 88b1b883e8d8
glyphs from DejaVu for ASCII control characters 5, 6, 7, 127, which have a special meaning in Isabelle or Poly/ML;
lib/fonts/IsabelleText.sfd
lib/fonts/IsabelleText.ttf
lib/fonts/IsabelleTextBold.sfd
lib/fonts/IsabelleTextBold.ttf
     1.1 --- a/lib/fonts/IsabelleText.sfd	Tue Jul 12 11:16:56 2011 +0200
     1.2 +++ b/lib/fonts/IsabelleText.sfd	Tue Jul 12 11:19:42 2011 +0200
     1.3 @@ -20,7 +20,7 @@
     1.4  OS2_WeightWidthSlopeOnly: 0
     1.5  OS2_UseTypoMetrics: 1
     1.6  CreationTime: 1050361371
     1.7 -ModificationTime: 1308688123
     1.8 +ModificationTime: 1310461984
     1.9  PfmFamily: 17
    1.10  TTFWeight: 400
    1.11  TTFWidth: 5
    1.12 @@ -2241,9 +2241,9 @@
    1.13  DisplaySize: -48
    1.14  AntiAlias: 1
    1.15  FitToEm: 1
    1.16 -WinInfo: 8608 16 10
    1.17 +WinInfo: 0 16 10
    1.18  TeXData: 1 0 0 631296 315648 210432 572416 -1048576 210432 783286 444596 497025 792723 393216 433062 380633 303038 157286 324010 404750 52429 2506097 1059062 262144
    1.19 -BeginChars: 1114189 1090
    1.20 +BeginChars: 1114189 1094
    1.21  
    1.22  StartChar: u10000
    1.23  Encoding: 65536 65536 0
    1.24 @@ -55412,7 +55412,7 @@
    1.25  StartChar: uni21D6
    1.26  Encoding: 8662 8662 1086
    1.27  Width: 1233
    1.28 -Flags: HW
    1.29 +Flags: W
    1.30  LayerCount: 2
    1.31  Fore
    1.32  SplineSet
    1.33 @@ -55438,7 +55438,7 @@
    1.34  StartChar: uni21D7
    1.35  Encoding: 8663 8663 1087
    1.36  Width: 1233
    1.37 -Flags: HW
    1.38 +Flags: W
    1.39  LayerCount: 2
    1.40  Fore
    1.41  SplineSet
    1.42 @@ -55464,7 +55464,7 @@
    1.43  StartChar: uni21D8
    1.44  Encoding: 8664 8664 1088
    1.45  Width: 1233
    1.46 -Flags: HW
    1.47 +Flags: W
    1.48  LayerCount: 2
    1.49  Fore
    1.50  SplineSet
    1.51 @@ -55490,7 +55490,7 @@
    1.52  StartChar: uni21D9
    1.53  Encoding: 8665 8665 1089
    1.54  Width: 1233
    1.55 -Flags: HW
    1.56 +Flags: W
    1.57  LayerCount: 2
    1.58  Fore
    1.59  SplineSet
    1.60 @@ -55512,5 +55512,103 @@
    1.61   398 127 l 1,0,-1
    1.62  EndSplineSet
    1.63  EndChar
    1.64 +
    1.65 +StartChar: uni0005
    1.66 +Encoding: 5 5 1090
    1.67 +Width: 1233
    1.68 +Flags: W
    1.69 +LayerCount: 2
    1.70 +Fore
    1.71 +SplineSet
    1.72 +1071 0 m 1,0,-1
    1.73 + 780 0 l 1,1,-1
    1.74 + 580 512 l 1,2,-1
    1.75 + 180 0 l 1,3,-1
    1.76 + -143 0 l 1,4,-1
    1.77 + 471 782 l 1,5,-1
    1.78 + 184 1493 l 1,6,-1
    1.79 + 475 1493 l 1,7,-1
    1.80 + 662 1030 l 1,8,-1
    1.81 + 1022 1493 l 1,9,-1
    1.82 + 1343 1493 l 1,10,-1
    1.83 + 770 756 l 1,11,-1
    1.84 + 1071 0 l 1,0,-1
    1.85 +EndSplineSet
    1.86 +EndChar
    1.87 +
    1.88 +StartChar: uni0006
    1.89 +Encoding: 6 6 1091
    1.90 +Width: 1233
    1.91 +Flags: W
    1.92 +LayerCount: 2
    1.93 +Fore
    1.94 +SplineSet
    1.95 +145 1493 m 1,0,-1
    1.96 + 438 1493 l 1,1,-1
    1.97 + 625 844 l 1,2,-1
    1.98 + 1036 1493 l 1,3,-1
    1.99 + 1358 1493 l 1,4,-1
   1.100 + 725 588 l 1,5,-1
   1.101 + 610 0 l 1,6,-1
   1.102 + 317 0 l 1,7,-1
   1.103 + 432 588 l 1,8,-1
   1.104 + 145 1493 l 1,0,-1
   1.105 +EndSplineSet
   1.106 +EndChar
   1.107 +
   1.108 +StartChar: uni007F
   1.109 +Encoding: 127 127 1092
   1.110 +Width: 1233
   1.111 +Flags: W
   1.112 +LayerCount: 2
   1.113 +Fore
   1.114 +SplineSet
   1.115 +994 410 m 1,0,-1
   1.116 + 994 983 l 1,1,-1
   1.117 + 886.193 983 l 1,2,-1
   1.118 + 685.584 696.5 l 1,3,-1
   1.119 + 886.193 410 l 1,4,-1
   1.120 + 994 410 l 1,0,-1
   1.121 +1108 296 m 1,5,-1
   1.122 + 125 296 l 1,6,-1
   1.123 + 125 1097 l 1,7,-1
   1.124 + 1108 1097 l 1,8,-1
   1.125 + 1108 296 l 1,5,-1
   1.126 +484.976 983 m 1,9,-1
   1.127 + 616 795.877 l 1,10,-1
   1.128 + 747.024 983 l 1,11,-1
   1.129 + 484.976 983 l 1,9,-1
   1.130 +345.807 983 m 1,12,-1
   1.131 + 239 983 l 1,13,-1
   1.132 + 239 410 l 1,14,-1
   1.133 + 345.807 410 l 1,15,-1
   1.134 + 546.416 696.5 l 1,16,-1
   1.135 + 345.807 983 l 1,12,-1
   1.136 +747.024 410 m 1,17,-1
   1.137 + 616 597.123 l 1,18,-1
   1.138 + 484.976 410 l 1,19,-1
   1.139 + 747.024 410 l 1,17,-1
   1.140 +EndSplineSet
   1.141 +EndChar
   1.142 +
   1.143 +StartChar: uni0007
   1.144 +Encoding: 7 7 1093
   1.145 +Width: 1233
   1.146 +Flags: HW
   1.147 +LayerCount: 2
   1.148 +Fore
   1.149 +SplineSet
   1.150 +104 -362 m 1,0,-1
   1.151 + 104 1444 l 1,1,-1
   1.152 + 1128 1444 l 1,2,-1
   1.153 + 1128 -362 l 1,3,-1
   1.154 + 104 -362 l 1,0,-1
   1.155 +219 -248 m 1,4,-1
   1.156 + 1014 -248 l 1,5,-1
   1.157 + 1014 1329 l 1,6,-1
   1.158 + 219 1329 l 1,7,-1
   1.159 + 219 -248 l 1,4,-1
   1.160 +EndSplineSet
   1.161 +EndChar
   1.162  EndChars
   1.163  EndSplineFont
     2.1 Binary file lib/fonts/IsabelleText.ttf has changed
     3.1 --- a/lib/fonts/IsabelleTextBold.sfd	Tue Jul 12 11:16:56 2011 +0200
     3.2 +++ b/lib/fonts/IsabelleTextBold.sfd	Tue Jul 12 11:19:42 2011 +0200
     3.3 @@ -20,7 +20,7 @@
     3.4  OS2_WeightWidthSlopeOnly: 0
     3.5  OS2_UseTypoMetrics: 1
     3.6  CreationTime: 1050374980
     3.7 -ModificationTime: 1308688237
     3.8 +ModificationTime: 1310462018
     3.9  PfmFamily: 17
    3.10  TTFWeight: 700
    3.11  TTFWidth: 5
    3.12 @@ -1675,8 +1675,8 @@
    3.13  DisplaySize: -48
    3.14  AntiAlias: 1
    3.15  FitToEm: 1
    3.16 -WinInfo: 8576 16 10
    3.17 -BeginChars: 1114112 1079
    3.18 +WinInfo: 0 16 10
    3.19 +BeginChars: 1114112 1083
    3.20  
    3.21  StartChar: u10000
    3.22  Encoding: 65536 65536 0
    3.23 @@ -58428,7 +58428,7 @@
    3.24  StartChar: uni21D6
    3.25  Encoding: 8662 8662 1075
    3.26  Width: 1233
    3.27 -Flags: HW
    3.28 +Flags: W
    3.29  LayerCount: 2
    3.30  Fore
    3.31  SplineSet
    3.32 @@ -58454,7 +58454,7 @@
    3.33  StartChar: uni21D7
    3.34  Encoding: 8663 8663 1076
    3.35  Width: 1233
    3.36 -Flags: HW
    3.37 +Flags: W
    3.38  LayerCount: 2
    3.39  Fore
    3.40  SplineSet
    3.41 @@ -58480,7 +58480,7 @@
    3.42  StartChar: uni21D8
    3.43  Encoding: 8664 8664 1077
    3.44  Width: 1233
    3.45 -Flags: HW
    3.46 +Flags: W
    3.47  LayerCount: 2
    3.48  Fore
    3.49  SplineSet
    3.50 @@ -58506,7 +58506,7 @@
    3.51  StartChar: uni21D9
    3.52  Encoding: 8665 8665 1078
    3.53  Width: 1233
    3.54 -Flags: HW
    3.55 +Flags: W
    3.56  LayerCount: 2
    3.57  Fore
    3.58  SplineSet
    3.59 @@ -58528,5 +58528,103 @@
    3.60   312 243 l 1,0,-1
    3.61  EndSplineSet
    3.62  EndChar
    3.63 +
    3.64 +StartChar: uni0005
    3.65 +Encoding: 5 5 1079
    3.66 +Width: 1233
    3.67 +Flags: W
    3.68 +LayerCount: 2
    3.69 +Fore
    3.70 +SplineSet
    3.71 +1071 0 m 1,0,-1
    3.72 + 780 0 l 1,1,-1
    3.73 + 580 512 l 1,2,-1
    3.74 + 180 0 l 1,3,-1
    3.75 + -143 0 l 1,4,-1
    3.76 + 471 782 l 1,5,-1
    3.77 + 184 1493 l 1,6,-1
    3.78 + 475 1493 l 1,7,-1
    3.79 + 662 1030 l 1,8,-1
    3.80 + 1022 1493 l 1,9,-1
    3.81 + 1343 1493 l 1,10,-1
    3.82 + 770 756 l 1,11,-1
    3.83 + 1071 0 l 1,0,-1
    3.84 +EndSplineSet
    3.85 +EndChar
    3.86 +
    3.87 +StartChar: uni0006
    3.88 +Encoding: 6 6 1080
    3.89 +Width: 1233
    3.90 +Flags: W
    3.91 +LayerCount: 2
    3.92 +Fore
    3.93 +SplineSet
    3.94 +145 1493 m 1,0,-1
    3.95 + 438 1493 l 1,1,-1
    3.96 + 625 844 l 1,2,-1
    3.97 + 1036 1493 l 1,3,-1
    3.98 + 1358 1493 l 1,4,-1
    3.99 + 725 588 l 1,5,-1
   3.100 + 610 0 l 1,6,-1
   3.101 + 317 0 l 1,7,-1
   3.102 + 432 588 l 1,8,-1
   3.103 + 145 1493 l 1,0,-1
   3.104 +EndSplineSet
   3.105 +EndChar
   3.106 +
   3.107 +StartChar: uni007F
   3.108 +Encoding: 127 127 1081
   3.109 +Width: 1233
   3.110 +Flags: W
   3.111 +LayerCount: 2
   3.112 +Fore
   3.113 +SplineSet
   3.114 +1138 296 m 1,0,-1
   3.115 + 95 296 l 1,1,-1
   3.116 + 95 1097 l 1,2,-1
   3.117 + 1138 1097 l 1,3,-1
   3.118 + 1138 296 l 1,0,-1
   3.119 +994 440 m 1,4,-1
   3.120 + 994 953 l 1,5,-1
   3.121 + 875.188 953 l 1,6,-1
   3.122 + 695.584 696.5 l 1,7,-1
   3.123 + 875.188 440 l 1,8,-1
   3.124 + 994 440 l 1,4,-1
   3.125 +515.981 953 m 1,9,-1
   3.126 + 616 810.158 l 1,10,-1
   3.127 + 716.019 953 l 1,11,-1
   3.128 + 515.981 953 l 1,9,-1
   3.129 +239 440 m 1,12,-1
   3.130 + 356.812 440 l 1,13,-1
   3.131 + 536.416 696.5 l 1,14,-1
   3.132 + 356.812 953 l 1,15,-1
   3.133 + 239 953 l 1,16,-1
   3.134 + 239 440 l 1,12,-1
   3.135 +716.019 440 m 1,17,-1
   3.136 + 616 582.842 l 1,18,-1
   3.137 + 515.981 440 l 1,19,-1
   3.138 + 716.019 440 l 1,17,-1
   3.139 +EndSplineSet
   3.140 +EndChar
   3.141 +
   3.142 +StartChar: uni0007
   3.143 +Encoding: 7 7 1082
   3.144 +Width: 1233
   3.145 +Flags: HW
   3.146 +LayerCount: 2
   3.147 +Fore
   3.148 +SplineSet
   3.149 +104 -362 m 1,0,-1
   3.150 + 104 1444 l 1,1,-1
   3.151 + 1128 1444 l 1,2,-1
   3.152 + 1128 -362 l 1,3,-1
   3.153 + 104 -362 l 1,0,-1
   3.154 +219 -248 m 1,4,-1
   3.155 + 1014 -248 l 1,5,-1
   3.156 + 1014 1329 l 1,6,-1
   3.157 + 219 1329 l 1,7,-1
   3.158 + 219 -248 l 1,4,-1
   3.159 +EndSplineSet
   3.160 +EndChar
   3.161  EndChars
   3.162  EndSplineFont
     4.1 Binary file lib/fonts/IsabelleTextBold.ttf has changed