some icons from Symbola font;
authorwenzelm
Fri Aug 12 16:49:29 2016 +0200 (2016-08-12)
changeset 63677be8b557ec73e
parent 63676 88727334666e
child 63678 abd734b70b01
some icons from Symbola font;
Admin/components/components.sha1
Admin/components/main
etc/symbols
lib/fonts/IsabelleText.sfd
lib/fonts/IsabelleTextBold.sfd
lib/fonts/README
     1.1 --- a/Admin/components/components.sha1	Fri Aug 12 15:25:25 2016 +0200
     1.2 +++ b/Admin/components/components.sha1	Fri Aug 12 16:49:29 2016 +0200
     1.3 @@ -46,6 +46,7 @@
     1.4  1f004a6bf20088a7e8f1b3d4153aa85de6fc1091  isabelle_fonts-20160101.tar.gz
     1.5  379d51ef3b71452dac34ba905def3daa8b590f2e  isabelle_fonts-20160102.tar.gz
     1.6  878536aab1eaf1a52da560c20bb41ab942971fa3  isabelle_fonts-20160227.tar.gz
     1.7 +9283e3b0b4c7239f57b18e076ec8bb21021832cb  isabelle_fonts-20160812.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 Aug 12 15:25:25 2016 +0200
     2.2 +++ b/Admin/components/main	Fri Aug 12 16:49:29 2016 +0200
     2.3 @@ -4,7 +4,7 @@
     2.4  cvc4-1.5pre-3
     2.5  e-1.8
     2.6  Haskabelle-2015
     2.7 -isabelle_fonts-20160227
     2.8 +isabelle_fonts-20160812
     2.9  jdk-8u102
    2.10  jedit_build-20160330
    2.11  jfreechart-1.0.14-1
     3.1 --- a/etc/symbols	Fri Aug 12 15:25:25 2016 +0200
     3.2 +++ b/etc/symbols	Fri Aug 12 16:49:29 2016 +0200
     3.3 @@ -381,3 +381,7 @@
     3.4  \<^esub>                code: 0x0021d9  group: control_block  font: IsabelleText  abbrev: =_)
     3.5  \<^bsup>                code: 0x0021d7  group: control_block  font: IsabelleText  abbrev: =^(
     3.6  \<^esup>                code: 0x0021d6  group: control_block  font: IsabelleText  abbrev: =^)
     3.7 +\<^file>                code: 0x01F5CF  group: icon  font: IsabelleText
     3.8 +\<^dir>                 code: 0x01F5C0  group: icon  font: IsabelleText
     3.9 +\<^url>                 code: 0x01F310  group: icon  font: IsabelleText
    3.10 +\<^doc>                 code: 0x01F4D3  group: icon  font: IsabelleText
     4.1 --- a/lib/fonts/IsabelleText.sfd	Fri Aug 12 15:25:25 2016 +0200
     4.2 +++ b/lib/fonts/IsabelleText.sfd	Fri Aug 12 16:49:29 2016 +0200
     4.3 @@ -19,7 +19,7 @@
     4.4  OS2_WeightWidthSlopeOnly: 0
     4.5  OS2_UseTypoMetrics: 1
     4.6  CreationTime: 1050361371
     4.7 -ModificationTime: 1456601690
     4.8 +ModificationTime: 1471012141
     4.9  PfmFamily: 17
    4.10  TTFWeight: 400
    4.11  TTFWidth: 5
    4.12 @@ -2241,11 +2241,11 @@
    4.13  DisplaySize: -96
    4.14  AntiAlias: 1
    4.15  FitToEm: 1
    4.16 -WinInfo: 9504 18 16
    4.17 +WinInfo: 128340 18 16
    4.18  BeginPrivate: 0
    4.19  EndPrivate
    4.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
    4.21 -BeginChars: 1114189 1404
    4.22 +BeginChars: 1114189 1408
    4.23  
    4.24  StartChar: u10000
    4.25  Encoding: 65536 65536 0
    4.26 @@ -31234,24 +31234,24 @@
    4.27   1656 -203 1656 -203 1739.5 -116.5 c 128,-1,30
    4.28   1823 -30 1823 -30 1881 73.5 c 128,-1,31
    4.29   1939 177 1939 177 1972 301 c 128,-1,32
    4.30 - 2005 425 2005 425 2005 555 c 0,33,34
    4.31 - 2005 685 2005 685 1972.5 808 c 128,-1,35
    4.32 - 1940 931 1940 931 1882 1034.5 c 128,-1,36
    4.33 - 1824 1138 1824 1138 1741.5 1225 c 128,-1,37
    4.34 - 1659 1312 1659 1312 1560.5 1372.5 c 128,-1,38
    4.35 - 1462 1433 1462 1433 1346 1467 c 128,-1,39
    4.36 - 1230 1501 1230 1501 1108 1501 c 0,40,41
    4.37 - 988 1501 988 1501 873 1467.5 c 128,-1,42
    4.38 - 758 1434 758 1434 659.5 1373.5 c 128,-1,43
    4.39 - 561 1313 561 1313 478 1226.5 c 128,-1,44
    4.40 - 395 1140 395 1140 336.5 1036.5 c 128,-1,45
    4.41 - 278 933 278 933 245.5 809 c 128,-1,46
    4.42 - 213 685 213 685 213 555 c 0,47,48
    4.43 - 213 425 213 425 245.5 302 c 128,-1,49
    4.44 - 278 179 278 179 335.5 75.5 c 128,-1,50
    4.45 - 393 -28 393 -28 476 -115 c 128,-1,51
    4.46 - 559 -202 559 -202 657.5 -262.5 c 128,-1,52
    4.47 - 756 -323 756 -323 872 -357 c 128,-1,53
    4.48 + 2005 425 2005 425 2005 555 c 128,-1,33
    4.49 + 2005 685 2005 685 1972.5 808 c 128,-1,34
    4.50 + 1940 931 1940 931 1882 1034.5 c 128,-1,35
    4.51 + 1824 1138 1824 1138 1741.5 1225 c 128,-1,36
    4.52 + 1659 1312 1659 1312 1560.5 1372.5 c 128,-1,37
    4.53 + 1462 1433 1462 1433 1346 1467 c 128,-1,38
    4.54 + 1230 1501 1230 1501 1108 1501 c 0,39,40
    4.55 + 988 1501 988 1501 873 1467.5 c 128,-1,41
    4.56 + 758 1434 758 1434 659.5 1373.5 c 128,-1,42
    4.57 + 561 1313 561 1313 478 1226.5 c 128,-1,43
    4.58 + 395 1140 395 1140 336.5 1036.5 c 128,-1,44
    4.59 + 278 933 278 933 245.5 809 c 128,-1,45
    4.60 + 213 685 213 685 213 555 c 128,-1,46
    4.61 + 213 425 213 425 245.5 302 c 128,-1,47
    4.62 + 278 179 278 179 335.5 75.5 c 128,-1,48
    4.63 + 393 -28 393 -28 476 -115 c 128,-1,49
    4.64 + 559 -202 559 -202 657.5 -262.5 c 128,-1,50
    4.65 + 756 -323 756 -323 872 -357 c 128,-1,51
    4.66   988 -391 988 -391 1110 -391 c 0,26,27
    4.67  EndSplineSet
    4.68  Validated: 1
    4.69 @@ -62473,5 +62473,279 @@
    4.70   724 -129 724 -129 864 -129 c 0,20,21
    4.71  EndSplineSet
    4.72  EndChar
    4.73 +
    4.74 +StartChar: u1F5CF
    4.75 +Encoding: 128463 128463 1404
    4.76 +Width: 1316
    4.77 +VWidth: 1663
    4.78 +Flags: W
    4.79 +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>
    4.80 +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>
    4.81 +CounterMasks: 1 00e0
    4.82 +LayerCount: 2
    4.83 +Fore
    4.84 +SplineSet
    4.85 +1139.12 97.7197 m 1,0,-1
    4.86 + 176.881 97.7197 l 1,1,-1
    4.87 + 176.881 1436.28 l 1,2,-1
    4.88 + 1139.12 1436.28 l 1,3,-1
    4.89 + 1139.12 97.7197 l 1,0,-1
    4.90 +1047.12 189.72 m 1,4,-1
    4.91 + 1047.12 1344.28 l 1,5,-1
    4.92 + 268.881 1344.28 l 1,6,-1
    4.93 + 268.881 189.72 l 1,7,-1
    4.94 + 1047.12 189.72 l 1,4,-1
    4.95 +973.641 1191.4 m 1,8,-1
    4.96 + 342.359 1191.4 l 1,9,-1
    4.97 + 342.359 1283.4 l 1,10,-1
    4.98 + 973.641 1283.4 l 1,11,-1
    4.99 + 973.641 1191.4 l 1,8,-1
   4.100 +973.641 1003.24 m 1,12,-1
   4.101 + 342.359 1003.24 l 1,13,-1
   4.102 + 342.359 1095.24 l 1,14,-1
   4.103 + 973.641 1095.24 l 1,15,-1
   4.104 + 973.641 1003.24 l 1,12,-1
   4.105 +973.641 815.08 m 1,16,-1
   4.106 + 342.359 815.08 l 1,17,-1
   4.107 + 342.359 907.08 l 1,18,-1
   4.108 + 973.641 907.08 l 1,19,-1
   4.109 + 973.641 815.08 l 1,16,-1
   4.110 +973.641 626.92 m 1,20,-1
   4.111 + 342.359 626.92 l 1,21,-1
   4.112 + 342.359 718.92 l 1,22,-1
   4.113 + 973.641 718.92 l 1,23,-1
   4.114 + 973.641 626.92 l 1,20,-1
   4.115 +973.641 438.76 m 1,24,-1
   4.116 + 342.359 438.76 l 1,25,-1
   4.117 + 342.359 530.76 l 1,26,-1
   4.118 + 973.641 530.76 l 1,27,-1
   4.119 + 973.641 438.76 l 1,24,-1
   4.120 +973.641 250.6 m 1,28,-1
   4.121 + 342.359 250.6 l 1,29,-1
   4.122 + 342.359 342.6 l 1,30,-1
   4.123 + 973.641 342.6 l 1,31,-1
   4.124 + 973.641 250.6 l 1,28,-1
   4.125 +EndSplineSet
   4.126 +EndChar
   4.127 +
   4.128 +StartChar: u1F4D3
   4.129 +Encoding: 128211 128211 1405
   4.130 +Width: 1064
   4.131 +VWidth: 1762
   4.132 +Flags: W
   4.133 +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>
   4.134 +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>
   4.135 +LayerCount: 2
   4.136 +Fore
   4.137 +SplineSet
   4.138 +961.6 131.45 m 2,0,1
   4.139 + 961.6 113.078 961.6 113.078 941.787 92.194 c 0,2,3
   4.140 + 921.444 70.75 921.444 70.75 902.3 70.75 c 2,4,-1
   4.141 + 154.7 70.75 l 2,5,6
   4.142 + 149.31 70.75 149.31 70.75 144.938 71.698 c 128,-1,7
   4.143 + 140.566 72.6461 140.566 72.6461 136.496 75.4084 c 128,-1,8
   4.144 + 132.426 78.1707 132.426 78.1707 130.859 79.2896 c 128,-1,9
   4.145 + 129.293 80.4084 129.293 80.4084 125.173 84.775 c 128,-1,10
   4.146 + 121.053 89.1416 121.053 89.1416 120.921 89.2733 c 0,11,12
   4.147 + 120.071 90.1241 120.071 90.1241 117.082 92.9509 c 128,-1,13
   4.148 + 114.093 95.7776 114.093 95.7776 112.733 97.203 c 128,-1,14
   4.149 + 111.374 98.6284 111.374 98.6284 108.988 101.775 c 128,-1,15
   4.150 + 106.602 104.921 106.602 104.921 105.459 107.628 c 128,-1,16
   4.151 + 104.317 110.334 104.317 110.334 103.359 114.426 c 128,-1,17
   4.152 + 102.4 118.517 102.4 118.517 102.4 123.05 c 2,18,-1
   4.153 + 102.4 1202.45 l 2,19,20
   4.154 + 102.4 1234.63 102.4 1234.63 130.589 1257.6 c 0,21,22
   4.155 + 136.172 1262.06 136.172 1262.06 149.627 1267.2 c 128,-1,23
   4.156 + 163.083 1272.33 163.083 1272.33 192.782 1280.66 c 128,-1,24
   4.157 + 222.482 1288.98 222.482 1288.98 250.492 1296.33 c 128,-1,25
   4.158 + 278.501 1303.67 278.501 1303.67 336.958 1318.88 c 128,-1,26
   4.159 + 395.414 1334.08 395.414 1334.08 442.617 1346.66 c 0,27,28
   4.160 + 741.511 1426.25 741.511 1426.25 765.1 1426.25 c 0,29,30
   4.161 + 804.524 1426.25 804.524 1426.25 821.67 1403.62 c 0,31,32
   4.162 + 832.1 1389.85 832.1 1389.85 832.1 1370.45 c 2,33,-1
   4.163 + 832.1 1259.65 l 1,34,-1
   4.164 + 919.1 1259.65 l 2,35,36
   4.165 + 938.501 1259.65 938.501 1259.65 951.807 1238.52 c 0,37,38
   4.166 + 961.6 1222.96 961.6 1222.96 961.6 1210.15 c 2,39,-1
   4.167 + 961.6 131.45 l 2,0,1
   4.168 +720.5 1260.35 m 1,40,-1
   4.169 + 720.5 1305.05 l 1,41,-1
   4.170 + 552.118 1260.35 l 1,42,-1
   4.171 + 720.5 1260.35 l 1,40,-1
   4.172 +847.9 184.45 m 1,43,-1
   4.173 + 847.9 1148.05 l 1,44,-1
   4.174 + 258.8 1148.05 l 1,45,-1
   4.175 + 258.8 184.45 l 1,46,-1
   4.176 + 847.9 184.45 l 1,43,-1
   4.177 +785.2 751.15 m 1,47,-1
   4.178 + 328.5 751.15 l 1,48,-1
   4.179 + 328.5 1082.55 l 1,49,-1
   4.180 + 785.2 1082.55 l 1,50,-1
   4.181 + 785.2 751.15 l 1,47,-1
   4.182 +704.4 829.15 m 1,51,-1
   4.183 + 704.4 1004.55 l 1,52,-1
   4.184 + 409.3 1004.55 l 1,53,-1
   4.185 + 409.3 829.15 l 1,54,-1
   4.186 + 704.4 829.15 l 1,51,-1
   4.187 +EndSplineSet
   4.188 +EndChar
   4.189 +
   4.190 +StartChar: u1F310
   4.191 +Encoding: 127760 127760 1406
   4.192 +Width: 1688
   4.193 +VWidth: 1788
   4.194 +Flags: W
   4.195 +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>
   4.196 +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>
   4.197 +LayerCount: 2
   4.198 +Fore
   4.199 +SplineSet
   4.200 +1585.8 762 m 128,-1,1
   4.201 + 1585.8 454.831 1585.8 454.831 1368.48 237.523 c 128,-1,2
   4.202 + 1151.14 20.2002 1151.14 20.2002 844 20.2002 c 128,-1,3
   4.203 + 536.84 20.2002 536.84 20.2002 319.523 237.523 c 128,-1,4
   4.204 + 102.2 454.85 102.2 454.85 102.2 762 c 128,-1,5
   4.205 + 102.2 1069.14 102.2 1069.14 319.523 1286.48 c 128,-1,6
   4.206 + 536.826 1503.8 536.826 1503.8 844 1503.8 c 128,-1,7
   4.207 + 1151.16 1503.8 1151.16 1503.8 1368.48 1286.48 c 128,-1,0
   4.208 + 1585.8 1069.16 1585.8 1069.16 1585.8 762 c 128,-1,1
   4.209 +1262.08 1260.78 m 1,8,9
   4.210 + 1167.74 1340.05 1167.74 1340.05 1053.44 1378.52 c 1,10,11
   4.211 + 1107.7 1285.5 1107.7 1285.5 1148.82 1184.39 c 1,12,13
   4.212 + 1209.39 1218.15 1209.39 1218.15 1262.08 1260.78 c 1,8,9
   4.213 +1494 807.3 m 1,14,15
   4.214 + 1479.42 1030.47 1479.42 1030.47 1328.63 1197.13 c 1,16,17
   4.215 + 1261.15 1140.95 1261.15 1140.95 1181.23 1098.32 c 1,18,19
   4.216 + 1232.11 945.833 1232.11 945.833 1239.7 807.3 c 1,20,-1
   4.217 + 1494 807.3 l 1,14,15
   4.218 +1066.08 1144.97 m 1,21,22
   4.219 + 1009.85 1286.26 1009.85 1286.26 927.548 1408.03 c 1,23,24
   4.220 + 908.07 1410.67 908.07 1410.67 889.3 1412.04 c 1,25,-1
   4.221 + 889.3 1098.9 l 1,26,27
   4.222 + 975.008 1107.19 975.008 1107.19 1066.08 1144.97 c 1,21,22
   4.223 +798 1098.91 m 1,28,-1
   4.224 + 798 1412.01 l 1,29,30
   4.225 + 779.771 1410.65 779.771 1410.65 760.503 1408.04 c 1,31,32
   4.226 + 678.789 1286.3 678.789 1286.3 621.993 1144.94 c 1,33,34
   4.227 + 712.892 1107.2 712.892 1107.2 798 1098.91 c 1,28,-1
   4.228 +1148.24 807.3 m 1,35,36
   4.229 + 1140.79 926.069 1140.79 926.069 1097.73 1058.8 c 1,37,38
   4.230 + 991.801 1015.61 991.801 1015.61 889.3 1007.27 c 1,39,-1
   4.231 + 889.3 807.3 l 1,40,-1
   4.232 + 1148.24 807.3 l 1,35,36
   4.233 +1494 716 m 1,41,-1
   4.234 + 1239.69 716 l 1,42,43
   4.235 + 1232.09 578.093 1232.09 578.093 1181.2 425.582 c 1,44,45
   4.236 + 1261.15 382.472 1261.15 382.472 1328.59 326.768 c 1,46,47
   4.237 + 1479.43 492.879 1479.43 492.879 1494 716 c 1,41,-1
   4.238 +634.728 1378.57 m 1,48,49
   4.239 + 520.263 1340.05 520.263 1340.05 425.925 1260.78 c 1,50,51
   4.240 + 478.599 1218.16 478.599 1218.16 539.218 1184.36 c 1,52,53
   4.241 + 580.313 1285.02 580.313 1285.02 634.728 1378.57 c 1,48,49
   4.242 +798 807.3 m 1,54,-1
   4.243 + 798 1007.28 l 1,55,56
   4.244 + 696.095 1015.61 696.095 1015.61 590.27 1058.8 c 1,57,58
   4.245 + 547.2 926.041 547.2 926.041 539.757 807.3 c 1,59,-1
   4.246 + 798 807.3 l 1,54,-1
   4.247 +1148.24 716 m 1,60,-1
   4.248 + 889.3 716 l 1,61,-1
   4.249 + 889.3 516.727 l 1,62,63
   4.250 + 991.801 508.391 991.801 508.391 1097.73 465.201 c 1,64,65
   4.251 + 1140.78 597.834 1140.78 597.834 1148.24 716 c 1,60,-1
   4.252 +1262.08 263.218 m 1,66,67
   4.253 + 1209.39 305.845 1209.39 305.845 1148.78 339.635 c 1,68,69
   4.254 + 1107.69 239.016 1107.69 239.016 1053.27 145.428 c 1,70,71
   4.255 + 1167.73 183.946 1167.73 183.946 1262.08 263.218 c 1,66,67
   4.256 +506.805 1098.42 m 1,72,73
   4.257 + 426.835 1141.54 426.835 1141.54 359.408 1197.23 c 1,74,75
   4.258 + 208.571 1031.1 208.571 1031.1 193.993 807.3 c 1,76,-1
   4.259 + 448.304 807.3 l 1,77,78
   4.260 + 455.9 945.847 455.9 945.847 506.805 1098.42 c 1,72,73
   4.261 +798 516.717 m 1,79,-1
   4.262 + 798 716 l 1,80,-1
   4.263 + 539.764 716 l 1,81,82
   4.264 + 547.211 597.894 547.211 597.894 590.269 465.204 c 1,83,84
   4.265 + 696.116 508.387 696.116 508.387 798 516.717 c 1,79,-1
   4.266 +1066.01 379.06 m 1,85,86
   4.267 + 975.034 416.801 975.034 416.801 889.3 425.102 c 1,87,-1
   4.268 + 889.3 111.961 l 1,88,89
   4.269 + 908.073 113.327 908.073 113.327 927.498 115.963 c 1,90,91
   4.270 + 1009.22 237.715 1009.22 237.715 1066.01 379.06 c 1,85,86
   4.271 +798 111.991 m 1,92,-1
   4.272 + 798 425.087 l 1,93,94
   4.273 + 712.91 416.803 712.91 416.803 621.915 379.03 c 1,95,96
   4.274 + 678.161 237.718 678.161 237.718 760.453 115.968 c 1,97,98
   4.275 + 779.756 113.346 779.756 113.346 798 111.991 c 1,92,-1
   4.276 +506.804 425.582 m 1,99,100
   4.277 + 455.912 578.112 455.912 578.112 448.309 716 c 1,101,-1
   4.278 + 194.002 716 l 1,102,103
   4.279 + 208.584 493.507 208.584 493.507 359.439 326.795 c 1,104,105
   4.280 + 426.844 382.467 426.844 382.467 506.804 425.582 c 1,99,100
   4.281 +634.728 145.428 m 1,106,107
   4.282 + 580.299 239.015 580.299 239.015 539.218 339.635 c 1,108,109
   4.283 + 478.599 305.837 478.599 305.837 425.925 263.219 c 1,110,111
   4.284 + 520.274 183.946 520.274 183.946 634.728 145.428 c 1,106,107
   4.285 +EndSplineSet
   4.286 +EndChar
   4.287 +
   4.288 +StartChar: u1F5C0
   4.289 +Encoding: 128448 128448 1407
   4.290 +Width: 1158
   4.291 +VWidth: 1805
   4.292 +Flags: W
   4.293 +VStem: 102.5 106.7<602.301 1215.44> 841 106.7<238.4 843.752> 949.5 106<214.643 1065.52>
   4.294 +LayerCount: 2
   4.295 +Fore
   4.296 +SplineSet
   4.297 +1055.5 163.65 m 2,0,1
   4.298 + 1055.5 136.806 1055.5 136.806 1027.85 118.777 c 0,2,3
   4.299 + 1022.2 115.241 1022.2 115.241 1014.76 112.968 c 128,-1,4
   4.300 + 1007.33 110.694 1007.33 110.694 1002.34 109.835 c 128,-1,5
   4.301 + 997.355 108.975 997.355 108.975 982.41 107.168 c 128,-1,6
   4.302 + 967.465 105.361 967.465 105.361 959.394 104.238 c 0,7,8
   4.303 + 904.83 96.6504 904.83 96.6504 890.5 96.6504 c 0,9,10
   4.304 + 883.016 96.6504 883.016 96.6504 873.952 99.5816 c 128,-1,11
   4.305 + 864.889 102.513 864.889 102.513 849.994 110.465 c 128,-1,12
   4.306 + 835.1 118.417 835.1 118.417 822.385 125.88 c 128,-1,13
   4.307 + 809.67 133.343 809.67 133.343 783.12 149.187 c 128,-1,14
   4.308 + 756.569 165.032 756.569 165.032 735.957 176.967 c 0,15,16
   4.309 + 593.462 258.096 593.462 258.096 312.993 419.26 c 0,17,18
   4.310 + 271.572 443.835 271.572 443.835 190.566 491.606 c 1,19,20
   4.311 + 167.093 503.176 167.093 503.176 129.033 528.548 c 2,21,-1
   4.312 + 127.217 529.759 l 1,22,-1
   4.313 + 125.639 531.266 l 2,23,24
   4.314 + 102.5 553.353 102.5 553.353 102.5 580.15 c 2,25,-1
   4.315 + 102.5 1324.95 l 2,26,27
   4.316 + 102.5 1345.8 102.5 1345.8 118.02 1356.97 c 128,-1,28
   4.317 + 133.539 1368.15 133.539 1368.15 152.7 1368.15 c 0,29,30
   4.318 + 159.813 1368.15 159.813 1368.15 166.945 1365.85 c 128,-1,31
   4.319 + 174.078 1363.55 174.078 1363.55 178.378 1361.22 c 128,-1,32
   4.320 + 182.677 1358.89 182.677 1358.89 193.163 1352.3 c 128,-1,33
   4.321 + 203.649 1345.7 203.649 1345.7 209.454 1342.3 c 1,34,-1
   4.322 + 210.3 1409.11 l 2,35,36
   4.323 + 210.3 1429.22 210.3 1429.22 224.625 1441.93 c 128,-1,37
   4.324 + 238.95 1454.64 238.95 1454.64 258.424 1456.26 c 2,38,-1
   4.325 + 266.169 1456.91 l 1,39,-1
   4.326 + 694.479 1211.87 l 1,40,41
   4.327 + 737.3 1247.83 737.3 1247.83 771.289 1271.32 c 2,42,-1
   4.328 + 784.176 1280.22 l 1,43,-1
   4.329 + 1055.5 1126.73 l 1,44,-1
   4.330 + 1055.5 163.65 l 2,0,1
   4.331 +949.5 214.858 m 1,45,-1
   4.332 + 949.5 1065.52 l 1,46,-1
   4.333 + 792.356 1156.34 l 1,47,-1
   4.334 + 699.305 1084.98 l 1,48,-1
   4.335 + 317 1304.2 l 1,49,-1
   4.336 + 317 1278.28 l 1,50,-1
   4.337 + 947.7 903.78 l 1,51,-1
   4.338 + 947.7 214.641 l 2,52,53
   4.339 + 948.335 214.717 948.335 214.717 949.5 214.858 c 1,45,-1
   4.340 +841 238.4 m 1,54,-1
   4.341 + 841 843.752 l 1,55,-1
   4.342 + 209.2 1215.44 l 1,56,-1
   4.343 + 209.2 602.301 l 1,57,-1
   4.344 + 841 238.4 l 1,54,-1
   4.345 +EndSplineSet
   4.346 +EndChar
   4.347  EndChars
   4.348  EndSplineFont
     5.1 --- a/lib/fonts/IsabelleTextBold.sfd	Fri Aug 12 15:25:25 2016 +0200
     5.2 +++ b/lib/fonts/IsabelleTextBold.sfd	Fri Aug 12 16:49:29 2016 +0200
     5.3 @@ -20,7 +20,7 @@
     5.4  OS2_WeightWidthSlopeOnly: 0
     5.5  OS2_UseTypoMetrics: 1
     5.6  CreationTime: 1050374980
     5.7 -ModificationTime: 1456601640
     5.8 +ModificationTime: 1471012188
     5.9  PfmFamily: 17
    5.10  TTFWeight: 700
    5.11  TTFWidth: 5
    5.12 @@ -1678,10 +1678,10 @@
    5.13  DisplaySize: -96
    5.14  AntiAlias: 1
    5.15  FitToEm: 1
    5.16 -WinInfo: 9513 21 15
    5.17 +WinInfo: 127638 21 15
    5.18  BeginPrivate: 0
    5.19  EndPrivate
    5.20 -BeginChars: 1114115 1396
    5.21 +BeginChars: 1114115 1400
    5.22  
    5.23  StartChar: .notdef
    5.24  Encoding: 1114112 -1 0
    5.25 @@ -68852,5 +68852,270 @@
    5.26   734 -78 734 -78 864 -78 c 0,20,21
    5.27  EndSplineSet
    5.28  EndChar
    5.29 +
    5.30 +StartChar: u1F310
    5.31 +Encoding: 127760 127760 1396
    5.32 +Width: 1688
    5.33 +VWidth: 1788
    5.34 +Flags: W
    5.35 +LayerCount: 2
    5.36 +Fore
    5.37 +SplineSet
    5.38 +1611.8 762 m 0
    5.39 + 1611.8 444.06 1611.8 444.06 1386.86 219.138 c 0
    5.40 + 1161.91 -5.7998 1161.91 -5.7998 844 -5.7998 c 0
    5.41 + 526.07 -5.7998 526.07 -5.7998 301.138 219.138 c 0
    5.42 + 76.2 444.08 76.2 444.08 76.2 762 c 0
    5.43 + 76.2 1079.91 76.2 1079.91 301.138 1304.86 c 0
    5.44 + 526.056 1529.8 526.056 1529.8 844 1529.8 c 0
    5.45 + 1161.93 1529.8 1161.93 1529.8 1386.86 1304.86 c 0
    5.46 + 1611.8 1079.93 1611.8 1079.93 1611.8 762 c 0
    5.47 +1220.07 1261.11 m 1
    5.48 + 1168.47 1300.23 1168.47 1300.23 1111.45 1327.2 c 1
    5.49 + 1138.31 1275.55 1138.31 1275.55 1161.39 1221.76 c 1
    5.50 + 1191.78 1240.21 1191.78 1240.21 1220.07 1261.11 c 1
    5.51 +1465.7 833.3 m 1
    5.52 + 1446.04 1018.25 1446.04 1018.25 1325.54 1161.18 c 1
    5.53 + 1272.9 1119.91 1272.9 1119.91 1212.62 1085.87 c 1
    5.54 + 1254.19 954.411 1254.19 954.411 1263.99 833.3 c 1
    5.55 + 1465.7 833.3 l 1
    5.56 +1032.07 1159.49 m 1
    5.57 + 982.764 1277 982.764 1277 915.3 1379.54 c 1
    5.58 + 915.3 1128.35 l 1
    5.59 + 972.667 1137.3 972.667 1137.3 1032.07 1159.49 c 1
    5.60 +772 1128.4 m 1
    5.61 + 772 1378.3 l 1
    5.62 + 705.395 1276.11 705.395 1276.11 656.076 1159.43 c 1
    5.63 + 715.641 1137.24 715.641 1137.24 772 1128.4 c 1
    5.64 +1120.11 833.3 m 1
    5.65 + 1111.28 924.649 1111.28 924.649 1081.23 1024.49 c 1
    5.66 + 996.9 993.412 996.9 993.412 915.3 983.737 c 1
    5.67 + 915.3 833.3 l 1
    5.68 + 1120.11 833.3 l 1
    5.69 +1465.7 690 m 1
    5.70 + 1263.98 690 l 1
    5.71 + 1254.16 569.491 1254.16 569.491 1212.56 437.946 c 1
    5.72 + 1272.5 403.924 1272.5 403.924 1325.48 362.623 c 1
    5.73 + 1446.03 505.147 1446.03 505.147 1465.7 690 c 1
    5.74 +576.794 1327.31 m 1
    5.75 + 519.517 1300.22 519.517 1300.22 467.933 1261.11 c 1
    5.76 + 496.214 1240.21 496.214 1240.21 526.679 1221.72 c 1
    5.77 + 549.892 1275.64 549.892 1275.64 576.794 1327.31 c 1
    5.78 +772 833.3 m 1
    5.79 + 772 983.765 l 1
    5.80 + 690.418 993.615 690.418 993.615 606.766 1024.48 c 1
    5.81 + 576.71 924.621 576.71 924.621 567.891 833.3 c 1
    5.82 + 772 833.3 l 1
    5.83 +1120.09 690 m 1
    5.84 + 915.3 690 l 1
    5.85 + 915.3 540.263 l 1
    5.86 + 996.899 530.588 996.899 530.588 1081.24 499.506 c 1
    5.87 + 1111.27 599.254 1111.27 599.254 1120.09 690 c 1
    5.88 +1220.07 262.892 m 1
    5.89 + 1191.78 283.795 1191.78 283.795 1161.32 302.281 c 1
    5.90 + 1138.12 248.387 1138.12 248.387 1111.21 196.689 c 1
    5.91 + 1168.47 223.77 1168.47 223.77 1220.07 262.892 c 1
    5.92 +475.438 1086.05 m 1
    5.93 + 415.516 1120.07 415.516 1120.07 362.518 1161.37 c 1
    5.94 + 241.972 1018.79 241.972 1018.79 222.285 833.3 c 1
    5.95 + 424.006 833.3 l 1
    5.96 + 433.81 954.411 433.81 954.411 475.438 1086.05 c 1
    5.97 +772 540.235 m 1
    5.98 + 772 690 l 1
    5.99 + 567.914 690 l 1
   5.100 + 576.734 599.257 576.734 599.257 606.761 499.515 c 1
   5.101 + 690.429 530.386 690.429 530.386 772 540.235 c 1
   5.102 +1031.92 364.563 m 1
   5.103 + 972.259 386.759 972.259 386.759 915.3 395.651 c 1
   5.104 + 915.3 144.624 l 1
   5.105 + 982.429 247.46 982.429 247.46 1031.92 364.563 c 1
   5.106 +772 145.521 m 1
   5.107 + 772 395.601 l 1
   5.108 + 715.225 386.699 715.225 386.699 655.924 364.514 c 1
   5.109 + 704.843 247.924 704.843 247.924 772 145.521 c 1
   5.110 +475.435 437.946 m 1
   5.111 + 433.833 569.489 433.833 569.489 424.022 690 c 1
   5.112 + 222.315 690 l 1
   5.113 + 241.994 505.692 241.994 505.692 362.578 362.672 c 1
   5.114 + 415.516 403.933 415.516 403.933 475.435 437.946 c 1
   5.115 +576.794 196.689 m 1
   5.116 + 549.878 248.388 549.878 248.388 526.679 302.281 c 1
   5.117 + 496.212 283.788 496.212 283.788 467.933 262.892 c 1
   5.118 + 519.514 223.78 519.514 223.78 576.794 196.689 c 1
   5.119 +EndSplineSet
   5.120 +EndChar
   5.121 +
   5.122 +StartChar: u1F4D3
   5.123 +Encoding: 128211 128211 1397
   5.124 +Width: 1064
   5.125 +VWidth: 1762
   5.126 +Flags: W
   5.127 +LayerCount: 2
   5.128 +Fore
   5.129 +SplineSet
   5.130 +987.6 131.45 m 2
   5.131 + 987.6 117.46 987.6 117.46 982.253 104.974 c 0
   5.132 + 976.906 92.4875 976.906 92.4875 973.075 87.9227 c 0
   5.133 + 969.244 83.3579 969.244 83.3579 960.649 74.2987 c 0
   5.134 + 951.974 65.1552 951.974 65.1552 947.42 60.9378 c 0
   5.135 + 942.865 56.7205 942.865 56.7205 929.937 50.7352 c 0
   5.136 + 917.009 44.75 917.009 44.75 902.3 44.75 c 2
   5.137 + 154.7 44.75 l 2
   5.138 + 144.755 44.75 144.755 44.75 136.732 46.5759 c 0
   5.139 + 128.708 48.4017 128.708 48.4017 123.042 52.0322 c 0
   5.140 + 117.376 55.6626 117.376 55.6626 114.185 58.3353 c 0
   5.141 + 110.995 61.0081 110.995 61.0081 107.166 65.5483 c 0
   5.142 + 103.337 70.0886 103.337 70.0886 102.538 70.8876 c 0
   5.143 + 101.738 71.6866 101.738 71.6866 97.1983 75.5157 c 0
   5.144 + 92.6582 79.3449 92.6582 79.3449 89.9854 82.5355 c 0
   5.145 + 87.3125 85.726 87.3125 85.726 83.6821 91.3921 c 0
   5.146 + 80.0518 97.0581 80.0518 97.0581 78.2259 105.082 c 0
   5.147 + 76.4 113.105 76.4 113.105 76.4 123.05 c 2
   5.148 + 76.4 1202.45 l 2
   5.149 + 76.4 1246.98 76.4 1246.98 114.258 1277.83 c 0
   5.150 + 124.181 1285.77 124.181 1285.77 140.128 1292.56 c 0
   5.151 + 156.075 1299.35 156.075 1299.35 185.287 1307.52 c 0
   5.152 + 214.5 1315.68 214.5 1315.68 243.971 1322.98 c 0
   5.153 + 273.442 1330.28 273.442 1330.28 329.44 1344.31 c 0
   5.154 + 385.437 1358.34 385.437 1358.34 435.927 1371.78 c 0
   5.155 + 469.093 1380.61 469.093 1380.61 514.719 1392.86 c 0
   5.156 + 560.345 1405.11 560.345 1405.11 583.654 1411.34 c 0
   5.157 + 606.963 1417.58 606.963 1417.58 637.85 1425.69 c 0
   5.158 + 668.737 1433.8 668.737 1433.8 684.766 1437.64 c 0
   5.159 + 700.795 1441.48 700.795 1441.48 718.697 1445.43 c 0
   5.160 + 736.599 1449.39 736.599 1449.39 747.103 1450.82 c 0
   5.161 + 757.606 1452.25 757.606 1452.25 765.1 1452.25 c 0
   5.162 + 777.132 1452.25 777.132 1452.25 787.664 1450.49 c 0
   5.163 + 816.159 1445.72 816.159 1445.72 837.129 1423.36 c 0
   5.164 + 858.1 1400.99 858.1 1400.99 858.1 1370.45 c 2
   5.165 + 858.1 1285.65 l 1
   5.166 + 919.1 1285.65 l 2
   5.167 + 952.854 1285.65 952.854 1285.65 973.808 1252.37 c 0
   5.168 + 987.6 1230.47 987.6 1230.47 987.6 1210.15 c 2
   5.169 + 987.6 131.45 l 2
   5.170 +821.9 210.45 m 1
   5.171 + 821.9 1122.05 l 1
   5.172 + 284.8 1122.05 l 1
   5.173 + 284.8 210.45 l 1
   5.174 + 821.9 210.45 l 1
   5.175 +811.2 725.15 m 1
   5.176 + 302.5 725.15 l 1
   5.177 + 302.5 1108.55 l 1
   5.178 + 811.2 1108.55 l 1
   5.179 + 811.2 725.15 l 1
   5.180 +678.4 855.15 m 1
   5.181 + 678.4 978.55 l 1
   5.182 + 435.3 978.55 l 1
   5.183 + 435.3 855.15 l 1
   5.184 + 678.4 855.15 l 1
   5.185 +EndSplineSet
   5.186 +EndChar
   5.187 +
   5.188 +StartChar: u1F5C0
   5.189 +Encoding: 128448 128448 1398
   5.190 +Width: 1158
   5.191 +VWidth: 1805
   5.192 +Flags: W
   5.193 +LayerCount: 2
   5.194 +Fore
   5.195 +SplineSet
   5.196 +1081.5 163.65 m 2
   5.197 + 1081.5 122.722 1081.5 122.722 1041.85 96.8642 c 0
   5.198 + 1031.79 90.5761 1031.79 90.5761 1022.36 87.2552 c 0
   5.199 + 1012.94 83.9343 1012.94 83.9343 1006.68 83.0855 c 0
   5.200 + 1000.42 82.2367 1000.42 82.2367 986.754 81.065 c 0
   5.201 + 973.093 79.8932 973.093 79.8932 962.975 78.4862 c 0
   5.202 + 906.629 70.65 906.629 70.65 890.5 70.65 c 0
   5.203 + 874.073 70.65 874.073 70.65 856.304 77.2317 c 0
   5.204 + 838.536 83.8135 838.536 83.8135 824.647 92.1127 c 0
   5.205 + 810.758 100.412 810.758 100.412 779.459 120.135 c 0
   5.206 + 748.161 139.858 748.161 139.858 723.008 154.42 c 0
   5.207 + 580.768 235.396 580.768 235.396 299.885 396.806 c 0
   5.208 + 258.685 421.253 258.685 421.253 178.198 468.715 c 1
   5.209 + 153.461 481.015 153.461 481.015 114.61 506.915 c 2
   5.210 + 110.906 509.385 l 1
   5.211 + 107.686 512.459 l 2
   5.212 + 98.597 521.135 98.597 521.135 92.1108 530.717 c 0
   5.213 + 76.5 553.779 76.5 553.779 76.5 580.15 c 2
   5.214 + 76.5 1324.95 l 2
   5.215 + 76.5 1358.02 76.5 1358.02 101.608 1376.08 c 0
   5.216 + 126.716 1394.15 126.716 1394.15 152.7 1394.15 c 0
   5.217 + 160.188 1394.15 160.188 1394.15 165.884 1393.16 c 0
   5.218 + 171.581 1392.17 171.581 1392.17 173.948 1391.19 c 0
   5.219 + 176.315 1390.21 176.315 1390.21 179.646 1388.28 c 0
   5.220 + 182.977 1386.34 182.977 1386.34 184.004 1385.86 c 1
   5.221 + 184.3 1409.27 l 2
   5.222 + 184.3 1439.75 184.3 1439.75 206.971 1459.85 c 0
   5.223 + 229.641 1479.96 229.641 1479.96 256.265 1482.17 c 2
   5.224 + 272.065 1483.49 l 1
   5.225 + 691.737 1243.39 l 1
   5.226 + 727.276 1272.51 727.276 1272.51 756.51 1292.71 c 2
   5.227 + 782.8 1310.87 l 1
   5.228 + 1081.5 1141.89 l 1
   5.229 + 1081.5 163.65 l 2
   5.230 +923.5 948.388 m 1
   5.231 + 923.5 1050.52 l 1
   5.232 + 794.39 1125.14 l 1
   5.233 + 728.336 1074.48 l 2
   5.234 + 723.943 1071.54 723.943 1071.54 720.835 1068.73 c 1
   5.235 + 923.5 948.388 l 1
   5.236 +815 283.379 m 1
   5.237 + 815 828.882 l 1
   5.238 + 235.2 1169.98 l 1
   5.239 + 235.2 617.33 l 1
   5.240 + 815 283.379 l 1
   5.241 +EndSplineSet
   5.242 +EndChar
   5.243 +
   5.244 +StartChar: u1F5CF
   5.245 +Encoding: 128463 128463 1399
   5.246 +Width: 1316
   5.247 +VWidth: 1663
   5.248 +Flags: W
   5.249 +LayerCount: 2
   5.250 +Fore
   5.251 +SplineSet
   5.252 +1165.12 71.72 m 1
   5.253 + 150.881 71.72 l 1
   5.254 + 150.881 1462.28 l 1
   5.255 + 1165.12 1462.28 l 1
   5.256 + 1165.12 71.72 l 1
   5.257 +1021.12 215.72 m 1
   5.258 + 1021.12 1318.28 l 1
   5.259 + 294.881 1318.28 l 1
   5.260 + 294.881 215.72 l 1
   5.261 + 1021.12 215.72 l 1
   5.262 +999.641 1165.4 m 1
   5.263 + 316.359 1165.4 l 1
   5.264 + 316.359 1309.4 l 1
   5.265 + 999.641 1309.4 l 1
   5.266 + 999.641 1165.4 l 1
   5.267 +999.641 977.24 m 1
   5.268 + 316.359 977.24 l 1
   5.269 + 316.359 1121.24 l 1
   5.270 + 999.641 1121.24 l 1
   5.271 + 999.641 977.24 l 1
   5.272 +999.641 789.08 m 1
   5.273 + 316.359 789.08 l 1
   5.274 + 316.359 933.08 l 1
   5.275 + 999.641 933.08 l 1
   5.276 + 999.641 789.08 l 1
   5.277 +999.641 600.92 m 1
   5.278 + 316.359 600.92 l 1
   5.279 + 316.359 744.92 l 1
   5.280 + 999.641 744.92 l 1
   5.281 + 999.641 600.92 l 1
   5.282 +999.641 412.76 m 1
   5.283 + 316.359 412.76 l 1
   5.284 + 316.359 556.76 l 1
   5.285 + 999.641 556.76 l 1
   5.286 + 999.641 412.76 l 1
   5.287 +999.641 224.6 m 1
   5.288 + 316.359 224.6 l 1
   5.289 + 316.359 368.6 l 1
   5.290 + 999.641 368.6 l 1
   5.291 + 999.641 224.6 l 1
   5.292 +EndSplineSet
   5.293 +EndChar
   5.294  EndChars
   5.295  EndSplineFont
     6.1 --- a/lib/fonts/README	Fri Aug 12 15:25:25 2016 +0200
     6.2 +++ b/lib/fonts/README	Fri Aug 12 16:49:29 2016 +0200
     6.3 @@ -3,6 +3,10 @@
     6.4  (free) fonts: Bluesky TeX fonts (scaled 222%) and Bitstream Vera Mono,
     6.5  with some additions from DejaVu Sans Mono and DejaVu Sans.
     6.6  
     6.7 +Some additional symbols are from Symbola. See http://greekfonts.teilar.gr
     6.8 +"In lieu of a licence; fonts and documents in this site are free for any use;
     6.9 +George Douros".
    6.10 +
    6.11  ----------------------------------------------------------------------------
    6.12  
    6.13  Computer Modern PostScript Fonts