added glyphs 0x204b, 0x2b1a from DejaVuSansMono;
authorwenzelm
Fri Nov 06 19:37:51 2015 +0100 (2015-11-06)
changeset 61591976e546baddc
parent 61590 94ab348eaab2
child 61592 d80eb8f6eb47
added glyphs 0x204b, 0x2b1a from DejaVuSansMono;
Admin/components/components.sha1
Admin/components/main
lib/fonts/IsabelleText.sfd
lib/fonts/IsabelleTextBold.sfd
     1.1 --- a/Admin/components/components.sha1	Fri Nov 06 18:15:35 2015 +0100
     1.2 +++ b/Admin/components/components.sha1	Fri Nov 06 19:37:51 2015 +0100
     1.3 @@ -32,6 +32,7 @@
     1.4  683acd94761ef460cca1a628f650355370de5afb  hol-light-bundle-0.5-126.tar.gz
     1.5  20b53cfc3ffc5b15c1eabc91846915b49b4c0367  isabelle_fonts-20151021.tar.gz
     1.6  736844204b2ef83974cd9f0a215738b767958c41  isabelle_fonts-20151104.tar.gz
     1.7 +9502c1aea938021f154adadff254c5c55da344bd  isabelle_fonts-20151106.tar.gz
     1.8  8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
     1.9  38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
    1.10  d765bc4ad2f34d494429b2a8c1563c49db224944  jdk-7u13.tar.gz
     2.1 --- a/Admin/components/main	Fri Nov 06 18:15:35 2015 +0100
     2.2 +++ b/Admin/components/main	Fri Nov 06 19:37:51 2015 +0100
     2.3 @@ -4,7 +4,7 @@
     2.4  e-1.8
     2.5  exec_process-1.0.3
     2.6  Haskabelle-2015
     2.7 -isabelle_fonts-20151104
     2.8 +isabelle_fonts-20151106
     2.9  jdk-8u66
    2.10  jedit_build-20151023
    2.11  jfreechart-1.0.14-1
     3.1 --- a/lib/fonts/IsabelleText.sfd	Fri Nov 06 18:15:35 2015 +0100
     3.2 +++ b/lib/fonts/IsabelleText.sfd	Fri Nov 06 19:37:51 2015 +0100
     3.3 @@ -19,7 +19,7 @@
     3.4  OS2_WeightWidthSlopeOnly: 0
     3.5  OS2_UseTypoMetrics: 1
     3.6  CreationTime: 1050361371
     3.7 -ModificationTime: 1446669919
     3.8 +ModificationTime: 1446829878
     3.9  PfmFamily: 17
    3.10  TTFWeight: 400
    3.11  TTFWidth: 5
    3.12 @@ -2241,11 +2241,11 @@
    3.13  DisplaySize: -96
    3.14  AntiAlias: 1
    3.15  FitToEm: 1
    3.16 -WinInfo: 8154 18 16
    3.17 +WinInfo: 10998 18 16
    3.18  BeginPrivate: 0
    3.19  EndPrivate
    3.20  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
    3.21 -BeginChars: 1114189 1394
    3.22 +BeginChars: 1114189 1396
    3.23  
    3.24  StartChar: u10000
    3.25  Encoding: 65536 65536 0
    3.26 @@ -61914,5 +61914,106 @@
    3.27   0 633 l 1,0,-1
    3.28  EndSplineSet
    3.29  EndChar
    3.30 +
    3.31 +StartChar: uni204B
    3.32 +Encoding: 8267 8267 1394
    3.33 +Width: 1233
    3.34 +Flags: W
    3.35 +LayerCount: 2
    3.36 +Fore
    3.37 +SplineSet
    3.38 +651 1493 m 2,0,1
    3.39 + 866 1493 866 1493 996.5 1377 c 128,-1,2
    3.40 + 1127 1261 1127 1261 1127 1071 c 0,3,4
    3.41 + 1127 887 1127 887 1009 776.5 c 128,-1,5
    3.42 + 891 666 891 666 676 649 c 1,6,-1
    3.43 + 676 -197 l 1,7,-1
    3.44 + 535 -197 l 1,8,-1
    3.45 + 535 1370 l 1,9,-1
    3.46 + 344 1370 l 1,10,-1
    3.47 + 344 -197 l 1,11,-1
    3.48 + 203 -197 l 1,12,-1
    3.49 + 203 1493 l 1,13,-1
    3.50 + 651 1493 l 2,0,1
    3.51 +EndSplineSet
    3.52 +EndChar
    3.53 +
    3.54 +StartChar: uni2B1A
    3.55 +Encoding: 11034 11034 1395
    3.56 +Width: 1233
    3.57 +Flags: W
    3.58 +LayerCount: 2
    3.59 +Fore
    3.60 +SplineSet
    3.61 +1227 126 m 1,0,-1
    3.62 + 1227 -78 l 1,1,-1
    3.63 + 1022 -78 l 1,2,-1
    3.64 + 1022 36 l 1,3,-1
    3.65 + 1112 36 l 1,4,-1
    3.66 + 1112 126 l 1,5,-1
    3.67 + 1227 126 l 1,0,-1
    3.68 +1227 454 m 1,6,-1
    3.69 + 1227 280 l 1,7,-1
    3.70 + 1112 280 l 1,8,-1
    3.71 + 1112 454 l 1,9,-1
    3.72 + 1227 454 l 1,6,-1
    3.73 +1227 788 m 1,10,-1
    3.74 + 1227 609 l 1,11,-1
    3.75 + 1112 609 l 1,12,-1
    3.76 + 1112 788 l 1,13,-1
    3.77 + 1227 788 l 1,10,-1
    3.78 +868 36 m 1,14,-1
    3.79 + 868 -78 l 1,15,-1
    3.80 + 694 -78 l 1,16,-1
    3.81 + 694 36 l 1,17,-1
    3.82 + 868 36 l 1,14,-1
    3.83 +540 36 m 1,18,-1
    3.84 + 540 -78 l 1,19,-1
    3.85 + 360 -78 l 1,20,-1
    3.86 + 360 36 l 1,21,-1
    3.87 + 540 36 l 1,18,-1
    3.88 +120 126 m 1,22,-1
    3.89 + 120 36 l 1,23,-1
    3.90 + 206 36 l 1,24,-1
    3.91 + 206 -78 l 1,25,-1
    3.92 + 6 -78 l 1,26,-1
    3.93 + 6 126 l 1,27,-1
    3.94 + 120 126 l 1,22,-1
    3.95 +120 454 m 1,28,-1
    3.96 + 120 280 l 1,29,-1
    3.97 + 6 280 l 1,30,-1
    3.98 + 6 454 l 1,31,-1
    3.99 + 120 454 l 1,28,-1
   3.100 +120 788 m 1,32,-1
   3.101 + 120 609 l 1,33,-1
   3.102 + 6 609 l 1,34,-1
   3.103 + 6 788 l 1,35,-1
   3.104 + 120 788 l 1,32,-1
   3.105 +1227 1142 m 1,36,-1
   3.106 + 1227 942 l 1,37,-1
   3.107 + 1112 942 l 1,38,-1
   3.108 + 1112 1028 l 1,39,-1
   3.109 + 1022 1028 l 1,40,-1
   3.110 + 1022 1142 l 1,41,-1
   3.111 + 1227 1142 l 1,36,-1
   3.112 +868 1142 m 1,42,-1
   3.113 + 868 1028 l 1,43,-1
   3.114 + 694 1028 l 1,44,-1
   3.115 + 694 1142 l 1,45,-1
   3.116 + 868 1142 l 1,42,-1
   3.117 +540 1142 m 1,46,-1
   3.118 + 540 1028 l 1,47,-1
   3.119 + 360 1028 l 1,48,-1
   3.120 + 360 1142 l 1,49,-1
   3.121 + 540 1142 l 1,46,-1
   3.122 +206 1142 m 1,50,-1
   3.123 + 206 1028 l 1,51,-1
   3.124 + 120 1028 l 1,52,-1
   3.125 + 120 942 l 1,53,-1
   3.126 + 6 942 l 1,54,-1
   3.127 + 6 1142 l 1,55,-1
   3.128 + 206 1142 l 1,50,-1
   3.129 +EndSplineSet
   3.130 +EndChar
   3.131  EndChars
   3.132  EndSplineFont
     4.1 --- a/lib/fonts/IsabelleTextBold.sfd	Fri Nov 06 18:15:35 2015 +0100
     4.2 +++ b/lib/fonts/IsabelleTextBold.sfd	Fri Nov 06 19:37:51 2015 +0100
     4.3 @@ -20,7 +20,7 @@
     4.4  OS2_WeightWidthSlopeOnly: 0
     4.5  OS2_UseTypoMetrics: 1
     4.6  CreationTime: 1050374980
     4.7 -ModificationTime: 1446669811
     4.8 +ModificationTime: 1446830034
     4.9  PfmFamily: 17
    4.10  TTFWeight: 700
    4.11  TTFWidth: 5
    4.12 @@ -1678,10 +1678,10 @@
    4.13  DisplaySize: -96
    4.14  AntiAlias: 1
    4.15  FitToEm: 1
    4.16 -WinInfo: 8064 21 15
    4.17 +WinInfo: 10983 21 15
    4.18  BeginPrivate: 0
    4.19  EndPrivate
    4.20 -BeginChars: 1114115 1386
    4.21 +BeginChars: 1114115 1388
    4.22  
    4.23  StartChar: .notdef
    4.24  Encoding: 1114112 -1 0
    4.25 @@ -68156,5 +68156,106 @@
    4.26   0 690 l 1,0,-1
    4.27  EndSplineSet
    4.28  EndChar
    4.29 +
    4.30 +StartChar: uni204B
    4.31 +Encoding: 8267 8267 1386
    4.32 +Width: 1233
    4.33 +Flags: W
    4.34 +LayerCount: 2
    4.35 +Fore
    4.36 +SplineSet
    4.37 +688 1493 m 2,0,1
    4.38 + 903 1493 903 1493 1033 1377 c 128,-1,2
    4.39 + 1163 1261 1163 1261 1163 1071 c 0,3,4
    4.40 + 1163 893 1163 893 1052.5 783.5 c 128,-1,5
    4.41 + 942 674 942 674 737 649 c 1,6,-1
    4.42 + 737 -197 l 1,7,-1
    4.43 + 549 -197 l 1,8,-1
    4.44 + 549 1346 l 1,9,-1
    4.45 + 359 1346 l 1,10,-1
    4.46 + 359 -197 l 1,11,-1
    4.47 + 168 -197 l 1,12,-1
    4.48 + 168 1493 l 1,13,-1
    4.49 + 688 1493 l 2,0,1
    4.50 +EndSplineSet
    4.51 +EndChar
    4.52 +
    4.53 +StartChar: uni2B1A
    4.54 +Encoding: 11034 11034 1387
    4.55 +Width: 1233
    4.56 +Flags: W
    4.57 +LayerCount: 2
    4.58 +Fore
    4.59 +SplineSet
    4.60 +1227 126 m 1,0,-1
    4.61 + 1227 -78 l 1,1,-1
    4.62 + 1022 -78 l 1,2,-1
    4.63 + 1022 36 l 1,3,-1
    4.64 + 1112 36 l 1,4,-1
    4.65 + 1112 126 l 1,5,-1
    4.66 + 1227 126 l 1,0,-1
    4.67 +1227 454 m 1,6,-1
    4.68 + 1227 280 l 1,7,-1
    4.69 + 1112 280 l 1,8,-1
    4.70 + 1112 454 l 1,9,-1
    4.71 + 1227 454 l 1,6,-1
    4.72 +1227 788 m 1,10,-1
    4.73 + 1227 609 l 1,11,-1
    4.74 + 1112 609 l 1,12,-1
    4.75 + 1112 788 l 1,13,-1
    4.76 + 1227 788 l 1,10,-1
    4.77 +868 36 m 1,14,-1
    4.78 + 868 -78 l 1,15,-1
    4.79 + 694 -78 l 1,16,-1
    4.80 + 694 36 l 1,17,-1
    4.81 + 868 36 l 1,14,-1
    4.82 +540 36 m 1,18,-1
    4.83 + 540 -78 l 1,19,-1
    4.84 + 360 -78 l 1,20,-1
    4.85 + 360 36 l 1,21,-1
    4.86 + 540 36 l 1,18,-1
    4.87 +120 126 m 1,22,-1
    4.88 + 120 36 l 1,23,-1
    4.89 + 206 36 l 1,24,-1
    4.90 + 206 -78 l 1,25,-1
    4.91 + 6 -78 l 1,26,-1
    4.92 + 6 126 l 1,27,-1
    4.93 + 120 126 l 1,22,-1
    4.94 +120 454 m 1,28,-1
    4.95 + 120 280 l 1,29,-1
    4.96 + 6 280 l 1,30,-1
    4.97 + 6 454 l 1,31,-1
    4.98 + 120 454 l 1,28,-1
    4.99 +120 788 m 1,32,-1
   4.100 + 120 609 l 1,33,-1
   4.101 + 6 609 l 1,34,-1
   4.102 + 6 788 l 1,35,-1
   4.103 + 120 788 l 1,32,-1
   4.104 +1227 1142 m 1,36,-1
   4.105 + 1227 942 l 1,37,-1
   4.106 + 1112 942 l 1,38,-1
   4.107 + 1112 1028 l 1,39,-1
   4.108 + 1022 1028 l 1,40,-1
   4.109 + 1022 1142 l 1,41,-1
   4.110 + 1227 1142 l 1,36,-1
   4.111 +868 1142 m 1,42,-1
   4.112 + 868 1028 l 1,43,-1
   4.113 + 694 1028 l 1,44,-1
   4.114 + 694 1142 l 1,45,-1
   4.115 + 868 1142 l 1,42,-1
   4.116 +540 1142 m 1,46,-1
   4.117 + 540 1028 l 1,47,-1
   4.118 + 360 1028 l 1,48,-1
   4.119 + 360 1142 l 1,49,-1
   4.120 + 540 1142 l 1,46,-1
   4.121 +206 1142 m 1,50,-1
   4.122 + 206 1028 l 1,51,-1
   4.123 + 120 1028 l 1,52,-1
   4.124 + 120 942 l 1,53,-1
   4.125 + 6 942 l 1,54,-1
   4.126 + 6 1142 l 1,55,-1
   4.127 + 206 1142 l 1,50,-1
   4.128 +EndSplineSet
   4.129 +EndChar
   4.130  EndChars
   4.131  EndSplineFont