# HG changeset patch # User wenzelm # Date 1471013369 -7200 # Node ID be8b557ec73e44b0687b6de0e3369b6f178c92f9 # Parent 88727334666e8420b3b06dd271ecade6220f7d2c some icons from Symbola font; diff -r 88727334666e -r be8b557ec73e Admin/components/components.sha1 --- a/Admin/components/components.sha1 Fri Aug 12 15:25:25 2016 +0200 +++ b/Admin/components/components.sha1 Fri Aug 12 16:49:29 2016 +0200 @@ -46,6 +46,7 @@ 1f004a6bf20088a7e8f1b3d4153aa85de6fc1091 isabelle_fonts-20160101.tar.gz 379d51ef3b71452dac34ba905def3daa8b590f2e isabelle_fonts-20160102.tar.gz 878536aab1eaf1a52da560c20bb41ab942971fa3 isabelle_fonts-20160227.tar.gz +9283e3b0b4c7239f57b18e076ec8bb21021832cb isabelle_fonts-20160812.tar.gz 8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz 38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz diff -r 88727334666e -r be8b557ec73e Admin/components/main --- a/Admin/components/main Fri Aug 12 15:25:25 2016 +0200 +++ b/Admin/components/main Fri Aug 12 16:49:29 2016 +0200 @@ -4,7 +4,7 @@ cvc4-1.5pre-3 e-1.8 Haskabelle-2015 -isabelle_fonts-20160227 +isabelle_fonts-20160812 jdk-8u102 jedit_build-20160330 jfreechart-1.0.14-1 diff -r 88727334666e -r be8b557ec73e etc/symbols --- a/etc/symbols Fri Aug 12 15:25:25 2016 +0200 +++ b/etc/symbols Fri Aug 12 16:49:29 2016 +0200 @@ -381,3 +381,7 @@ \<^esub> code: 0x0021d9 group: control_block font: IsabelleText abbrev: =_) \<^bsup> code: 0x0021d7 group: control_block font: IsabelleText abbrev: =^( \<^esup> code: 0x0021d6 group: control_block font: IsabelleText abbrev: =^) +\<^file> code: 0x01F5CF group: icon font: IsabelleText +\<^dir> code: 0x01F5C0 group: icon font: IsabelleText +\<^url> code: 0x01F310 group: icon font: IsabelleText +\<^doc> code: 0x01F4D3 group: icon font: IsabelleText diff -r 88727334666e -r be8b557ec73e lib/fonts/IsabelleText.sfd --- a/lib/fonts/IsabelleText.sfd Fri Aug 12 15:25:25 2016 +0200 +++ b/lib/fonts/IsabelleText.sfd Fri Aug 12 16:49:29 2016 +0200 @@ -19,7 +19,7 @@ OS2_WeightWidthSlopeOnly: 0 OS2_UseTypoMetrics: 1 CreationTime: 1050361371 -ModificationTime: 1456601690 +ModificationTime: 1471012141 PfmFamily: 17 TTFWeight: 400 TTFWidth: 5 @@ -2241,11 +2241,11 @@ DisplaySize: -96 AntiAlias: 1 FitToEm: 1 -WinInfo: 9504 18 16 +WinInfo: 128340 18 16 BeginPrivate: 0 EndPrivate 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 -BeginChars: 1114189 1404 +BeginChars: 1114189 1408 StartChar: u10000 Encoding: 65536 65536 0 @@ -31234,24 +31234,24 @@ 1656 -203 1656 -203 1739.5 -116.5 c 128,-1,30 1823 -30 1823 -30 1881 73.5 c 128,-1,31 1939 177 1939 177 1972 301 c 128,-1,32 - 2005 425 2005 425 2005 555 c 0,33,34 - 2005 685 2005 685 1972.5 808 c 128,-1,35 - 1940 931 1940 931 1882 1034.5 c 128,-1,36 - 1824 1138 1824 1138 1741.5 1225 c 128,-1,37 - 1659 1312 1659 1312 1560.5 1372.5 c 128,-1,38 - 1462 1433 1462 1433 1346 1467 c 128,-1,39 - 1230 1501 1230 1501 1108 1501 c 0,40,41 - 988 1501 988 1501 873 1467.5 c 128,-1,42 - 758 1434 758 1434 659.5 1373.5 c 128,-1,43 - 561 1313 561 1313 478 1226.5 c 128,-1,44 - 395 1140 395 1140 336.5 1036.5 c 128,-1,45 - 278 933 278 933 245.5 809 c 128,-1,46 - 213 685 213 685 213 555 c 0,47,48 - 213 425 213 425 245.5 302 c 128,-1,49 - 278 179 278 179 335.5 75.5 c 128,-1,50 - 393 -28 393 -28 476 -115 c 128,-1,51 - 559 -202 559 -202 657.5 -262.5 c 128,-1,52 - 756 -323 756 -323 872 -357 c 128,-1,53 + 2005 425 2005 425 2005 555 c 128,-1,33 + 2005 685 2005 685 1972.5 808 c 128,-1,34 + 1940 931 1940 931 1882 1034.5 c 128,-1,35 + 1824 1138 1824 1138 1741.5 1225 c 128,-1,36 + 1659 1312 1659 1312 1560.5 1372.5 c 128,-1,37 + 1462 1433 1462 1433 1346 1467 c 128,-1,38 + 1230 1501 1230 1501 1108 1501 c 0,39,40 + 988 1501 988 1501 873 1467.5 c 128,-1,41 + 758 1434 758 1434 659.5 1373.5 c 128,-1,42 + 561 1313 561 1313 478 1226.5 c 128,-1,43 + 395 1140 395 1140 336.5 1036.5 c 128,-1,44 + 278 933 278 933 245.5 809 c 128,-1,45 + 213 685 213 685 213 555 c 128,-1,46 + 213 425 213 425 245.5 302 c 128,-1,47 + 278 179 278 179 335.5 75.5 c 128,-1,48 + 393 -28 393 -28 476 -115 c 128,-1,49 + 559 -202 559 -202 657.5 -262.5 c 128,-1,50 + 756 -323 756 -323 872 -357 c 128,-1,51 988 -391 988 -391 1110 -391 c 0,26,27 EndSplineSet Validated: 1 @@ -62473,5 +62473,279 @@ 724 -129 724 -129 864 -129 c 0,20,21 EndSplineSet EndChar + +StartChar: u1F5CF +Encoding: 128463 128463 1404 +Width: 1316 +VWidth: 1663 +Flags: W +HStem: 97.7197 92<268.881 1047.12> 250.6 92<342.359 973.641> 438.76 92<342.359 973.641> 626.92 92<342.359 973.641> 815.08 92<342.359 973.641> 1003.24 92<342.359 973.641> 1191.4 92<342.359 973.641> 1344.28 92<268.881 1047.12> +VStem: 176.881 92<189.72 1344.28> 342.359 631.281<250.6 342.6 438.76 530.76 626.92 718.92 815.08 907.08 1003.24 1095.24 1191.4 1283.4> 1047.12 92<189.72 1344.28> +CounterMasks: 1 00e0 +LayerCount: 2 +Fore +SplineSet +1139.12 97.7197 m 1,0,-1 + 176.881 97.7197 l 1,1,-1 + 176.881 1436.28 l 1,2,-1 + 1139.12 1436.28 l 1,3,-1 + 1139.12 97.7197 l 1,0,-1 +1047.12 189.72 m 1,4,-1 + 1047.12 1344.28 l 1,5,-1 + 268.881 1344.28 l 1,6,-1 + 268.881 189.72 l 1,7,-1 + 1047.12 189.72 l 1,4,-1 +973.641 1191.4 m 1,8,-1 + 342.359 1191.4 l 1,9,-1 + 342.359 1283.4 l 1,10,-1 + 973.641 1283.4 l 1,11,-1 + 973.641 1191.4 l 1,8,-1 +973.641 1003.24 m 1,12,-1 + 342.359 1003.24 l 1,13,-1 + 342.359 1095.24 l 1,14,-1 + 973.641 1095.24 l 1,15,-1 + 973.641 1003.24 l 1,12,-1 +973.641 815.08 m 1,16,-1 + 342.359 815.08 l 1,17,-1 + 342.359 907.08 l 1,18,-1 + 973.641 907.08 l 1,19,-1 + 973.641 815.08 l 1,16,-1 +973.641 626.92 m 1,20,-1 + 342.359 626.92 l 1,21,-1 + 342.359 718.92 l 1,22,-1 + 973.641 718.92 l 1,23,-1 + 973.641 626.92 l 1,20,-1 +973.641 438.76 m 1,24,-1 + 342.359 438.76 l 1,25,-1 + 342.359 530.76 l 1,26,-1 + 973.641 530.76 l 1,27,-1 + 973.641 438.76 l 1,24,-1 +973.641 250.6 m 1,28,-1 + 342.359 250.6 l 1,29,-1 + 342.359 342.6 l 1,30,-1 + 973.641 342.6 l 1,31,-1 + 973.641 250.6 l 1,28,-1 +EndSplineSet +EndChar + +StartChar: u1F4D3 +Encoding: 128211 128211 1405 +Width: 1064 +VWidth: 1762 +Flags: W +HStem: 70.75 113.7<258.8 847.9> 751.15 78<409.3 704.4> 1004.55 78<409.3 704.4> 1148.05 112.3<552.118 720.5 832.1 847.9> +VStem: 102.4 156.399<184.45 1148.05> 328.5 80.7998<829.15 1004.55> 704.4 80.7998<829.15 1004.55> 720.5 111.6<1260.35 1305.05> 847.9 113.699<184.45 1148.05> +LayerCount: 2 +Fore +SplineSet +961.6 131.45 m 2,0,1 + 961.6 113.078 961.6 113.078 941.787 92.194 c 0,2,3 + 921.444 70.75 921.444 70.75 902.3 70.75 c 2,4,-1 + 154.7 70.75 l 2,5,6 + 149.31 70.75 149.31 70.75 144.938 71.698 c 128,-1,7 + 140.566 72.6461 140.566 72.6461 136.496 75.4084 c 128,-1,8 + 132.426 78.1707 132.426 78.1707 130.859 79.2896 c 128,-1,9 + 129.293 80.4084 129.293 80.4084 125.173 84.775 c 128,-1,10 + 121.053 89.1416 121.053 89.1416 120.921 89.2733 c 0,11,12 + 120.071 90.1241 120.071 90.1241 117.082 92.9509 c 128,-1,13 + 114.093 95.7776 114.093 95.7776 112.733 97.203 c 128,-1,14 + 111.374 98.6284 111.374 98.6284 108.988 101.775 c 128,-1,15 + 106.602 104.921 106.602 104.921 105.459 107.628 c 128,-1,16 + 104.317 110.334 104.317 110.334 103.359 114.426 c 128,-1,17 + 102.4 118.517 102.4 118.517 102.4 123.05 c 2,18,-1 + 102.4 1202.45 l 2,19,20 + 102.4 1234.63 102.4 1234.63 130.589 1257.6 c 0,21,22 + 136.172 1262.06 136.172 1262.06 149.627 1267.2 c 128,-1,23 + 163.083 1272.33 163.083 1272.33 192.782 1280.66 c 128,-1,24 + 222.482 1288.98 222.482 1288.98 250.492 1296.33 c 128,-1,25 + 278.501 1303.67 278.501 1303.67 336.958 1318.88 c 128,-1,26 + 395.414 1334.08 395.414 1334.08 442.617 1346.66 c 0,27,28 + 741.511 1426.25 741.511 1426.25 765.1 1426.25 c 0,29,30 + 804.524 1426.25 804.524 1426.25 821.67 1403.62 c 0,31,32 + 832.1 1389.85 832.1 1389.85 832.1 1370.45 c 2,33,-1 + 832.1 1259.65 l 1,34,-1 + 919.1 1259.65 l 2,35,36 + 938.501 1259.65 938.501 1259.65 951.807 1238.52 c 0,37,38 + 961.6 1222.96 961.6 1222.96 961.6 1210.15 c 2,39,-1 + 961.6 131.45 l 2,0,1 +720.5 1260.35 m 1,40,-1 + 720.5 1305.05 l 1,41,-1 + 552.118 1260.35 l 1,42,-1 + 720.5 1260.35 l 1,40,-1 +847.9 184.45 m 1,43,-1 + 847.9 1148.05 l 1,44,-1 + 258.8 1148.05 l 1,45,-1 + 258.8 184.45 l 1,46,-1 + 847.9 184.45 l 1,43,-1 +785.2 751.15 m 1,47,-1 + 328.5 751.15 l 1,48,-1 + 328.5 1082.55 l 1,49,-1 + 785.2 1082.55 l 1,50,-1 + 785.2 751.15 l 1,47,-1 +704.4 829.15 m 1,51,-1 + 704.4 1004.55 l 1,52,-1 + 409.3 1004.55 l 1,53,-1 + 409.3 829.15 l 1,54,-1 + 704.4 829.15 l 1,51,-1 +EndSplineSet +EndChar + +StartChar: u1F310 +Encoding: 127760 127760 1406 +Width: 1688 +VWidth: 1788 +Flags: W +HStem: 20.2002 91.7907<761.056 798 889.3 926.891> 425.087 91.63<626.537 798 889.3 1061.42> 716 91.2998<194.002 451.735 539.764 798 889.3 1148.24 1236.27 1494> 1007.28 91.6301<626.532 798 889.3 1061.42> 1412.01 91.7906<761.105 798 889.3 926.94> +VStem: 102.2 91.8017<519.669 716 807.3 1004.44> 448.309 91.4551<486.943 716 807.3 1037.01> 798 91.2998<111.991 425.087 511.895 716 807.3 1012.11 1098.91 1412.01> 1148.24 91.455<486.937 716 807.3 1036.95> 1494 91.7974<519.351 716 807.3 1004.11> +LayerCount: 2 +Fore +SplineSet +1585.8 762 m 128,-1,1 + 1585.8 454.831 1585.8 454.831 1368.48 237.523 c 128,-1,2 + 1151.14 20.2002 1151.14 20.2002 844 20.2002 c 128,-1,3 + 536.84 20.2002 536.84 20.2002 319.523 237.523 c 128,-1,4 + 102.2 454.85 102.2 454.85 102.2 762 c 128,-1,5 + 102.2 1069.14 102.2 1069.14 319.523 1286.48 c 128,-1,6 + 536.826 1503.8 536.826 1503.8 844 1503.8 c 128,-1,7 + 1151.16 1503.8 1151.16 1503.8 1368.48 1286.48 c 128,-1,0 + 1585.8 1069.16 1585.8 1069.16 1585.8 762 c 128,-1,1 +1262.08 1260.78 m 1,8,9 + 1167.74 1340.05 1167.74 1340.05 1053.44 1378.52 c 1,10,11 + 1107.7 1285.5 1107.7 1285.5 1148.82 1184.39 c 1,12,13 + 1209.39 1218.15 1209.39 1218.15 1262.08 1260.78 c 1,8,9 +1494 807.3 m 1,14,15 + 1479.42 1030.47 1479.42 1030.47 1328.63 1197.13 c 1,16,17 + 1261.15 1140.95 1261.15 1140.95 1181.23 1098.32 c 1,18,19 + 1232.11 945.833 1232.11 945.833 1239.7 807.3 c 1,20,-1 + 1494 807.3 l 1,14,15 +1066.08 1144.97 m 1,21,22 + 1009.85 1286.26 1009.85 1286.26 927.548 1408.03 c 1,23,24 + 908.07 1410.67 908.07 1410.67 889.3 1412.04 c 1,25,-1 + 889.3 1098.9 l 1,26,27 + 975.008 1107.19 975.008 1107.19 1066.08 1144.97 c 1,21,22 +798 1098.91 m 1,28,-1 + 798 1412.01 l 1,29,30 + 779.771 1410.65 779.771 1410.65 760.503 1408.04 c 1,31,32 + 678.789 1286.3 678.789 1286.3 621.993 1144.94 c 1,33,34 + 712.892 1107.2 712.892 1107.2 798 1098.91 c 1,28,-1 +1148.24 807.3 m 1,35,36 + 1140.79 926.069 1140.79 926.069 1097.73 1058.8 c 1,37,38 + 991.801 1015.61 991.801 1015.61 889.3 1007.27 c 1,39,-1 + 889.3 807.3 l 1,40,-1 + 1148.24 807.3 l 1,35,36 +1494 716 m 1,41,-1 + 1239.69 716 l 1,42,43 + 1232.09 578.093 1232.09 578.093 1181.2 425.582 c 1,44,45 + 1261.15 382.472 1261.15 382.472 1328.59 326.768 c 1,46,47 + 1479.43 492.879 1479.43 492.879 1494 716 c 1,41,-1 +634.728 1378.57 m 1,48,49 + 520.263 1340.05 520.263 1340.05 425.925 1260.78 c 1,50,51 + 478.599 1218.16 478.599 1218.16 539.218 1184.36 c 1,52,53 + 580.313 1285.02 580.313 1285.02 634.728 1378.57 c 1,48,49 +798 807.3 m 1,54,-1 + 798 1007.28 l 1,55,56 + 696.095 1015.61 696.095 1015.61 590.27 1058.8 c 1,57,58 + 547.2 926.041 547.2 926.041 539.757 807.3 c 1,59,-1 + 798 807.3 l 1,54,-1 +1148.24 716 m 1,60,-1 + 889.3 716 l 1,61,-1 + 889.3 516.727 l 1,62,63 + 991.801 508.391 991.801 508.391 1097.73 465.201 c 1,64,65 + 1140.78 597.834 1140.78 597.834 1148.24 716 c 1,60,-1 +1262.08 263.218 m 1,66,67 + 1209.39 305.845 1209.39 305.845 1148.78 339.635 c 1,68,69 + 1107.69 239.016 1107.69 239.016 1053.27 145.428 c 1,70,71 + 1167.73 183.946 1167.73 183.946 1262.08 263.218 c 1,66,67 +506.805 1098.42 m 1,72,73 + 426.835 1141.54 426.835 1141.54 359.408 1197.23 c 1,74,75 + 208.571 1031.1 208.571 1031.1 193.993 807.3 c 1,76,-1 + 448.304 807.3 l 1,77,78 + 455.9 945.847 455.9 945.847 506.805 1098.42 c 1,72,73 +798 516.717 m 1,79,-1 + 798 716 l 1,80,-1 + 539.764 716 l 1,81,82 + 547.211 597.894 547.211 597.894 590.269 465.204 c 1,83,84 + 696.116 508.387 696.116 508.387 798 516.717 c 1,79,-1 +1066.01 379.06 m 1,85,86 + 975.034 416.801 975.034 416.801 889.3 425.102 c 1,87,-1 + 889.3 111.961 l 1,88,89 + 908.073 113.327 908.073 113.327 927.498 115.963 c 1,90,91 + 1009.22 237.715 1009.22 237.715 1066.01 379.06 c 1,85,86 +798 111.991 m 1,92,-1 + 798 425.087 l 1,93,94 + 712.91 416.803 712.91 416.803 621.915 379.03 c 1,95,96 + 678.161 237.718 678.161 237.718 760.453 115.968 c 1,97,98 + 779.756 113.346 779.756 113.346 798 111.991 c 1,92,-1 +506.804 425.582 m 1,99,100 + 455.912 578.112 455.912 578.112 448.309 716 c 1,101,-1 + 194.002 716 l 1,102,103 + 208.584 493.507 208.584 493.507 359.439 326.795 c 1,104,105 + 426.844 382.467 426.844 382.467 506.804 425.582 c 1,99,100 +634.728 145.428 m 1,106,107 + 580.299 239.015 580.299 239.015 539.218 339.635 c 1,108,109 + 478.599 305.837 478.599 305.837 425.925 263.219 c 1,110,111 + 520.274 183.946 520.274 183.946 634.728 145.428 c 1,106,107 +EndSplineSet +EndChar + +StartChar: u1F5C0 +Encoding: 128448 128448 1407 +Width: 1158 +VWidth: 1805 +Flags: W +VStem: 102.5 106.7<602.301 1215.44> 841 106.7<238.4 843.752> 949.5 106<214.643 1065.52> +LayerCount: 2 +Fore +SplineSet +1055.5 163.65 m 2,0,1 + 1055.5 136.806 1055.5 136.806 1027.85 118.777 c 0,2,3 + 1022.2 115.241 1022.2 115.241 1014.76 112.968 c 128,-1,4 + 1007.33 110.694 1007.33 110.694 1002.34 109.835 c 128,-1,5 + 997.355 108.975 997.355 108.975 982.41 107.168 c 128,-1,6 + 967.465 105.361 967.465 105.361 959.394 104.238 c 0,7,8 + 904.83 96.6504 904.83 96.6504 890.5 96.6504 c 0,9,10 + 883.016 96.6504 883.016 96.6504 873.952 99.5816 c 128,-1,11 + 864.889 102.513 864.889 102.513 849.994 110.465 c 128,-1,12 + 835.1 118.417 835.1 118.417 822.385 125.88 c 128,-1,13 + 809.67 133.343 809.67 133.343 783.12 149.187 c 128,-1,14 + 756.569 165.032 756.569 165.032 735.957 176.967 c 0,15,16 + 593.462 258.096 593.462 258.096 312.993 419.26 c 0,17,18 + 271.572 443.835 271.572 443.835 190.566 491.606 c 1,19,20 + 167.093 503.176 167.093 503.176 129.033 528.548 c 2,21,-1 + 127.217 529.759 l 1,22,-1 + 125.639 531.266 l 2,23,24 + 102.5 553.353 102.5 553.353 102.5 580.15 c 2,25,-1 + 102.5 1324.95 l 2,26,27 + 102.5 1345.8 102.5 1345.8 118.02 1356.97 c 128,-1,28 + 133.539 1368.15 133.539 1368.15 152.7 1368.15 c 0,29,30 + 159.813 1368.15 159.813 1368.15 166.945 1365.85 c 128,-1,31 + 174.078 1363.55 174.078 1363.55 178.378 1361.22 c 128,-1,32 + 182.677 1358.89 182.677 1358.89 193.163 1352.3 c 128,-1,33 + 203.649 1345.7 203.649 1345.7 209.454 1342.3 c 1,34,-1 + 210.3 1409.11 l 2,35,36 + 210.3 1429.22 210.3 1429.22 224.625 1441.93 c 128,-1,37 + 238.95 1454.64 238.95 1454.64 258.424 1456.26 c 2,38,-1 + 266.169 1456.91 l 1,39,-1 + 694.479 1211.87 l 1,40,41 + 737.3 1247.83 737.3 1247.83 771.289 1271.32 c 2,42,-1 + 784.176 1280.22 l 1,43,-1 + 1055.5 1126.73 l 1,44,-1 + 1055.5 163.65 l 2,0,1 +949.5 214.858 m 1,45,-1 + 949.5 1065.52 l 1,46,-1 + 792.356 1156.34 l 1,47,-1 + 699.305 1084.98 l 1,48,-1 + 317 1304.2 l 1,49,-1 + 317 1278.28 l 1,50,-1 + 947.7 903.78 l 1,51,-1 + 947.7 214.641 l 2,52,53 + 948.335 214.717 948.335 214.717 949.5 214.858 c 1,45,-1 +841 238.4 m 1,54,-1 + 841 843.752 l 1,55,-1 + 209.2 1215.44 l 1,56,-1 + 209.2 602.301 l 1,57,-1 + 841 238.4 l 1,54,-1 +EndSplineSet +EndChar EndChars EndSplineFont diff -r 88727334666e -r be8b557ec73e lib/fonts/IsabelleTextBold.sfd --- a/lib/fonts/IsabelleTextBold.sfd Fri Aug 12 15:25:25 2016 +0200 +++ b/lib/fonts/IsabelleTextBold.sfd Fri Aug 12 16:49:29 2016 +0200 @@ -20,7 +20,7 @@ OS2_WeightWidthSlopeOnly: 0 OS2_UseTypoMetrics: 1 CreationTime: 1050374980 -ModificationTime: 1456601640 +ModificationTime: 1471012188 PfmFamily: 17 TTFWeight: 700 TTFWidth: 5 @@ -1678,10 +1678,10 @@ DisplaySize: -96 AntiAlias: 1 FitToEm: 1 -WinInfo: 9513 21 15 +WinInfo: 127638 21 15 BeginPrivate: 0 EndPrivate -BeginChars: 1114115 1396 +BeginChars: 1114115 1400 StartChar: .notdef Encoding: 1114112 -1 0 @@ -68852,5 +68852,270 @@ 734 -78 734 -78 864 -78 c 0,20,21 EndSplineSet EndChar + +StartChar: u1F310 +Encoding: 127760 127760 1396 +Width: 1688 +VWidth: 1788 +Flags: W +LayerCount: 2 +Fore +SplineSet +1611.8 762 m 0 + 1611.8 444.06 1611.8 444.06 1386.86 219.138 c 0 + 1161.91 -5.7998 1161.91 -5.7998 844 -5.7998 c 0 + 526.07 -5.7998 526.07 -5.7998 301.138 219.138 c 0 + 76.2 444.08 76.2 444.08 76.2 762 c 0 + 76.2 1079.91 76.2 1079.91 301.138 1304.86 c 0 + 526.056 1529.8 526.056 1529.8 844 1529.8 c 0 + 1161.93 1529.8 1161.93 1529.8 1386.86 1304.86 c 0 + 1611.8 1079.93 1611.8 1079.93 1611.8 762 c 0 +1220.07 1261.11 m 1 + 1168.47 1300.23 1168.47 1300.23 1111.45 1327.2 c 1 + 1138.31 1275.55 1138.31 1275.55 1161.39 1221.76 c 1 + 1191.78 1240.21 1191.78 1240.21 1220.07 1261.11 c 1 +1465.7 833.3 m 1 + 1446.04 1018.25 1446.04 1018.25 1325.54 1161.18 c 1 + 1272.9 1119.91 1272.9 1119.91 1212.62 1085.87 c 1 + 1254.19 954.411 1254.19 954.411 1263.99 833.3 c 1 + 1465.7 833.3 l 1 +1032.07 1159.49 m 1 + 982.764 1277 982.764 1277 915.3 1379.54 c 1 + 915.3 1128.35 l 1 + 972.667 1137.3 972.667 1137.3 1032.07 1159.49 c 1 +772 1128.4 m 1 + 772 1378.3 l 1 + 705.395 1276.11 705.395 1276.11 656.076 1159.43 c 1 + 715.641 1137.24 715.641 1137.24 772 1128.4 c 1 +1120.11 833.3 m 1 + 1111.28 924.649 1111.28 924.649 1081.23 1024.49 c 1 + 996.9 993.412 996.9 993.412 915.3 983.737 c 1 + 915.3 833.3 l 1 + 1120.11 833.3 l 1 +1465.7 690 m 1 + 1263.98 690 l 1 + 1254.16 569.491 1254.16 569.491 1212.56 437.946 c 1 + 1272.5 403.924 1272.5 403.924 1325.48 362.623 c 1 + 1446.03 505.147 1446.03 505.147 1465.7 690 c 1 +576.794 1327.31 m 1 + 519.517 1300.22 519.517 1300.22 467.933 1261.11 c 1 + 496.214 1240.21 496.214 1240.21 526.679 1221.72 c 1 + 549.892 1275.64 549.892 1275.64 576.794 1327.31 c 1 +772 833.3 m 1 + 772 983.765 l 1 + 690.418 993.615 690.418 993.615 606.766 1024.48 c 1 + 576.71 924.621 576.71 924.621 567.891 833.3 c 1 + 772 833.3 l 1 +1120.09 690 m 1 + 915.3 690 l 1 + 915.3 540.263 l 1 + 996.899 530.588 996.899 530.588 1081.24 499.506 c 1 + 1111.27 599.254 1111.27 599.254 1120.09 690 c 1 +1220.07 262.892 m 1 + 1191.78 283.795 1191.78 283.795 1161.32 302.281 c 1 + 1138.12 248.387 1138.12 248.387 1111.21 196.689 c 1 + 1168.47 223.77 1168.47 223.77 1220.07 262.892 c 1 +475.438 1086.05 m 1 + 415.516 1120.07 415.516 1120.07 362.518 1161.37 c 1 + 241.972 1018.79 241.972 1018.79 222.285 833.3 c 1 + 424.006 833.3 l 1 + 433.81 954.411 433.81 954.411 475.438 1086.05 c 1 +772 540.235 m 1 + 772 690 l 1 + 567.914 690 l 1 + 576.734 599.257 576.734 599.257 606.761 499.515 c 1 + 690.429 530.386 690.429 530.386 772 540.235 c 1 +1031.92 364.563 m 1 + 972.259 386.759 972.259 386.759 915.3 395.651 c 1 + 915.3 144.624 l 1 + 982.429 247.46 982.429 247.46 1031.92 364.563 c 1 +772 145.521 m 1 + 772 395.601 l 1 + 715.225 386.699 715.225 386.699 655.924 364.514 c 1 + 704.843 247.924 704.843 247.924 772 145.521 c 1 +475.435 437.946 m 1 + 433.833 569.489 433.833 569.489 424.022 690 c 1 + 222.315 690 l 1 + 241.994 505.692 241.994 505.692 362.578 362.672 c 1 + 415.516 403.933 415.516 403.933 475.435 437.946 c 1 +576.794 196.689 m 1 + 549.878 248.388 549.878 248.388 526.679 302.281 c 1 + 496.212 283.788 496.212 283.788 467.933 262.892 c 1 + 519.514 223.78 519.514 223.78 576.794 196.689 c 1 +EndSplineSet +EndChar + +StartChar: u1F4D3 +Encoding: 128211 128211 1397 +Width: 1064 +VWidth: 1762 +Flags: W +LayerCount: 2 +Fore +SplineSet +987.6 131.45 m 2 + 987.6 117.46 987.6 117.46 982.253 104.974 c 0 + 976.906 92.4875 976.906 92.4875 973.075 87.9227 c 0 + 969.244 83.3579 969.244 83.3579 960.649 74.2987 c 0 + 951.974 65.1552 951.974 65.1552 947.42 60.9378 c 0 + 942.865 56.7205 942.865 56.7205 929.937 50.7352 c 0 + 917.009 44.75 917.009 44.75 902.3 44.75 c 2 + 154.7 44.75 l 2 + 144.755 44.75 144.755 44.75 136.732 46.5759 c 0 + 128.708 48.4017 128.708 48.4017 123.042 52.0322 c 0 + 117.376 55.6626 117.376 55.6626 114.185 58.3353 c 0 + 110.995 61.0081 110.995 61.0081 107.166 65.5483 c 0 + 103.337 70.0886 103.337 70.0886 102.538 70.8876 c 0 + 101.738 71.6866 101.738 71.6866 97.1983 75.5157 c 0 + 92.6582 79.3449 92.6582 79.3449 89.9854 82.5355 c 0 + 87.3125 85.726 87.3125 85.726 83.6821 91.3921 c 0 + 80.0518 97.0581 80.0518 97.0581 78.2259 105.082 c 0 + 76.4 113.105 76.4 113.105 76.4 123.05 c 2 + 76.4 1202.45 l 2 + 76.4 1246.98 76.4 1246.98 114.258 1277.83 c 0 + 124.181 1285.77 124.181 1285.77 140.128 1292.56 c 0 + 156.075 1299.35 156.075 1299.35 185.287 1307.52 c 0 + 214.5 1315.68 214.5 1315.68 243.971 1322.98 c 0 + 273.442 1330.28 273.442 1330.28 329.44 1344.31 c 0 + 385.437 1358.34 385.437 1358.34 435.927 1371.78 c 0 + 469.093 1380.61 469.093 1380.61 514.719 1392.86 c 0 + 560.345 1405.11 560.345 1405.11 583.654 1411.34 c 0 + 606.963 1417.58 606.963 1417.58 637.85 1425.69 c 0 + 668.737 1433.8 668.737 1433.8 684.766 1437.64 c 0 + 700.795 1441.48 700.795 1441.48 718.697 1445.43 c 0 + 736.599 1449.39 736.599 1449.39 747.103 1450.82 c 0 + 757.606 1452.25 757.606 1452.25 765.1 1452.25 c 0 + 777.132 1452.25 777.132 1452.25 787.664 1450.49 c 0 + 816.159 1445.72 816.159 1445.72 837.129 1423.36 c 0 + 858.1 1400.99 858.1 1400.99 858.1 1370.45 c 2 + 858.1 1285.65 l 1 + 919.1 1285.65 l 2 + 952.854 1285.65 952.854 1285.65 973.808 1252.37 c 0 + 987.6 1230.47 987.6 1230.47 987.6 1210.15 c 2 + 987.6 131.45 l 2 +821.9 210.45 m 1 + 821.9 1122.05 l 1 + 284.8 1122.05 l 1 + 284.8 210.45 l 1 + 821.9 210.45 l 1 +811.2 725.15 m 1 + 302.5 725.15 l 1 + 302.5 1108.55 l 1 + 811.2 1108.55 l 1 + 811.2 725.15 l 1 +678.4 855.15 m 1 + 678.4 978.55 l 1 + 435.3 978.55 l 1 + 435.3 855.15 l 1 + 678.4 855.15 l 1 +EndSplineSet +EndChar + +StartChar: u1F5C0 +Encoding: 128448 128448 1398 +Width: 1158 +VWidth: 1805 +Flags: W +LayerCount: 2 +Fore +SplineSet +1081.5 163.65 m 2 + 1081.5 122.722 1081.5 122.722 1041.85 96.8642 c 0 + 1031.79 90.5761 1031.79 90.5761 1022.36 87.2552 c 0 + 1012.94 83.9343 1012.94 83.9343 1006.68 83.0855 c 0 + 1000.42 82.2367 1000.42 82.2367 986.754 81.065 c 0 + 973.093 79.8932 973.093 79.8932 962.975 78.4862 c 0 + 906.629 70.65 906.629 70.65 890.5 70.65 c 0 + 874.073 70.65 874.073 70.65 856.304 77.2317 c 0 + 838.536 83.8135 838.536 83.8135 824.647 92.1127 c 0 + 810.758 100.412 810.758 100.412 779.459 120.135 c 0 + 748.161 139.858 748.161 139.858 723.008 154.42 c 0 + 580.768 235.396 580.768 235.396 299.885 396.806 c 0 + 258.685 421.253 258.685 421.253 178.198 468.715 c 1 + 153.461 481.015 153.461 481.015 114.61 506.915 c 2 + 110.906 509.385 l 1 + 107.686 512.459 l 2 + 98.597 521.135 98.597 521.135 92.1108 530.717 c 0 + 76.5 553.779 76.5 553.779 76.5 580.15 c 2 + 76.5 1324.95 l 2 + 76.5 1358.02 76.5 1358.02 101.608 1376.08 c 0 + 126.716 1394.15 126.716 1394.15 152.7 1394.15 c 0 + 160.188 1394.15 160.188 1394.15 165.884 1393.16 c 0 + 171.581 1392.17 171.581 1392.17 173.948 1391.19 c 0 + 176.315 1390.21 176.315 1390.21 179.646 1388.28 c 0 + 182.977 1386.34 182.977 1386.34 184.004 1385.86 c 1 + 184.3 1409.27 l 2 + 184.3 1439.75 184.3 1439.75 206.971 1459.85 c 0 + 229.641 1479.96 229.641 1479.96 256.265 1482.17 c 2 + 272.065 1483.49 l 1 + 691.737 1243.39 l 1 + 727.276 1272.51 727.276 1272.51 756.51 1292.71 c 2 + 782.8 1310.87 l 1 + 1081.5 1141.89 l 1 + 1081.5 163.65 l 2 +923.5 948.388 m 1 + 923.5 1050.52 l 1 + 794.39 1125.14 l 1 + 728.336 1074.48 l 2 + 723.943 1071.54 723.943 1071.54 720.835 1068.73 c 1 + 923.5 948.388 l 1 +815 283.379 m 1 + 815 828.882 l 1 + 235.2 1169.98 l 1 + 235.2 617.33 l 1 + 815 283.379 l 1 +EndSplineSet +EndChar + +StartChar: u1F5CF +Encoding: 128463 128463 1399 +Width: 1316 +VWidth: 1663 +Flags: W +LayerCount: 2 +Fore +SplineSet +1165.12 71.72 m 1 + 150.881 71.72 l 1 + 150.881 1462.28 l 1 + 1165.12 1462.28 l 1 + 1165.12 71.72 l 1 +1021.12 215.72 m 1 + 1021.12 1318.28 l 1 + 294.881 1318.28 l 1 + 294.881 215.72 l 1 + 1021.12 215.72 l 1 +999.641 1165.4 m 1 + 316.359 1165.4 l 1 + 316.359 1309.4 l 1 + 999.641 1309.4 l 1 + 999.641 1165.4 l 1 +999.641 977.24 m 1 + 316.359 977.24 l 1 + 316.359 1121.24 l 1 + 999.641 1121.24 l 1 + 999.641 977.24 l 1 +999.641 789.08 m 1 + 316.359 789.08 l 1 + 316.359 933.08 l 1 + 999.641 933.08 l 1 + 999.641 789.08 l 1 +999.641 600.92 m 1 + 316.359 600.92 l 1 + 316.359 744.92 l 1 + 999.641 744.92 l 1 + 999.641 600.92 l 1 +999.641 412.76 m 1 + 316.359 412.76 l 1 + 316.359 556.76 l 1 + 999.641 556.76 l 1 + 999.641 412.76 l 1 +999.641 224.6 m 1 + 316.359 224.6 l 1 + 316.359 368.6 l 1 + 999.641 368.6 l 1 + 999.641 224.6 l 1 +EndSplineSet +EndChar EndChars EndSplineFont diff -r 88727334666e -r be8b557ec73e lib/fonts/README --- a/lib/fonts/README Fri Aug 12 15:25:25 2016 +0200 +++ b/lib/fonts/README Fri Aug 12 16:49:29 2016 +0200 @@ -3,6 +3,10 @@ (free) fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono, with some additions from DejaVu Sans Mono and DejaVu Sans. +Some additional symbols are from Symbola. See http://greekfonts.teilar.gr +"In lieu of a licence; fonts and documents in this site are free for any use; +George Douros". + ---------------------------------------------------------------------------- Computer Modern PostScript Fonts