--- a/Admin/components/components.sha1 Fri Nov 06 18:15:35 2015 +0100
+++ b/Admin/components/components.sha1 Fri Nov 06 19:37:51 2015 +0100
@@ -32,6 +32,7 @@
683acd94761ef460cca1a628f650355370de5afb hol-light-bundle-0.5-126.tar.gz
20b53cfc3ffc5b15c1eabc91846915b49b4c0367 isabelle_fonts-20151021.tar.gz
736844204b2ef83974cd9f0a215738b767958c41 isabelle_fonts-20151104.tar.gz
+9502c1aea938021f154adadff254c5c55da344bd isabelle_fonts-20151106.tar.gz
8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz
d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz
--- a/Admin/components/main Fri Nov 06 18:15:35 2015 +0100
+++ b/Admin/components/main Fri Nov 06 19:37:51 2015 +0100
@@ -4,7 +4,7 @@
e-1.8
exec_process-1.0.3
Haskabelle-2015
-isabelle_fonts-20151104
+isabelle_fonts-20151106
jdk-8u66
jedit_build-20151023
jfreechart-1.0.14-1
--- a/lib/fonts/IsabelleText.sfd Fri Nov 06 18:15:35 2015 +0100
+++ b/lib/fonts/IsabelleText.sfd Fri Nov 06 19:37:51 2015 +0100
@@ -19,7 +19,7 @@
OS2_WeightWidthSlopeOnly: 0
OS2_UseTypoMetrics: 1
CreationTime: 1050361371
-ModificationTime: 1446669919
+ModificationTime: 1446829878
PfmFamily: 17
TTFWeight: 400
TTFWidth: 5
@@ -2241,11 +2241,11 @@
DisplaySize: -96
AntiAlias: 1
FitToEm: 1
-WinInfo: 8154 18 16
+WinInfo: 10998 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 1394
+BeginChars: 1114189 1396
StartChar: u10000
Encoding: 65536 65536 0
@@ -61914,5 +61914,106 @@
0 633 l 1,0,-1
EndSplineSet
EndChar
+
+StartChar: uni204B
+Encoding: 8267 8267 1394
+Width: 1233
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+651 1493 m 2,0,1
+ 866 1493 866 1493 996.5 1377 c 128,-1,2
+ 1127 1261 1127 1261 1127 1071 c 0,3,4
+ 1127 887 1127 887 1009 776.5 c 128,-1,5
+ 891 666 891 666 676 649 c 1,6,-1
+ 676 -197 l 1,7,-1
+ 535 -197 l 1,8,-1
+ 535 1370 l 1,9,-1
+ 344 1370 l 1,10,-1
+ 344 -197 l 1,11,-1
+ 203 -197 l 1,12,-1
+ 203 1493 l 1,13,-1
+ 651 1493 l 2,0,1
+EndSplineSet
+EndChar
+
+StartChar: uni2B1A
+Encoding: 11034 11034 1395
+Width: 1233
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+1227 126 m 1,0,-1
+ 1227 -78 l 1,1,-1
+ 1022 -78 l 1,2,-1
+ 1022 36 l 1,3,-1
+ 1112 36 l 1,4,-1
+ 1112 126 l 1,5,-1
+ 1227 126 l 1,0,-1
+1227 454 m 1,6,-1
+ 1227 280 l 1,7,-1
+ 1112 280 l 1,8,-1
+ 1112 454 l 1,9,-1
+ 1227 454 l 1,6,-1
+1227 788 m 1,10,-1
+ 1227 609 l 1,11,-1
+ 1112 609 l 1,12,-1
+ 1112 788 l 1,13,-1
+ 1227 788 l 1,10,-1
+868 36 m 1,14,-1
+ 868 -78 l 1,15,-1
+ 694 -78 l 1,16,-1
+ 694 36 l 1,17,-1
+ 868 36 l 1,14,-1
+540 36 m 1,18,-1
+ 540 -78 l 1,19,-1
+ 360 -78 l 1,20,-1
+ 360 36 l 1,21,-1
+ 540 36 l 1,18,-1
+120 126 m 1,22,-1
+ 120 36 l 1,23,-1
+ 206 36 l 1,24,-1
+ 206 -78 l 1,25,-1
+ 6 -78 l 1,26,-1
+ 6 126 l 1,27,-1
+ 120 126 l 1,22,-1
+120 454 m 1,28,-1
+ 120 280 l 1,29,-1
+ 6 280 l 1,30,-1
+ 6 454 l 1,31,-1
+ 120 454 l 1,28,-1
+120 788 m 1,32,-1
+ 120 609 l 1,33,-1
+ 6 609 l 1,34,-1
+ 6 788 l 1,35,-1
+ 120 788 l 1,32,-1
+1227 1142 m 1,36,-1
+ 1227 942 l 1,37,-1
+ 1112 942 l 1,38,-1
+ 1112 1028 l 1,39,-1
+ 1022 1028 l 1,40,-1
+ 1022 1142 l 1,41,-1
+ 1227 1142 l 1,36,-1
+868 1142 m 1,42,-1
+ 868 1028 l 1,43,-1
+ 694 1028 l 1,44,-1
+ 694 1142 l 1,45,-1
+ 868 1142 l 1,42,-1
+540 1142 m 1,46,-1
+ 540 1028 l 1,47,-1
+ 360 1028 l 1,48,-1
+ 360 1142 l 1,49,-1
+ 540 1142 l 1,46,-1
+206 1142 m 1,50,-1
+ 206 1028 l 1,51,-1
+ 120 1028 l 1,52,-1
+ 120 942 l 1,53,-1
+ 6 942 l 1,54,-1
+ 6 1142 l 1,55,-1
+ 206 1142 l 1,50,-1
+EndSplineSet
+EndChar
EndChars
EndSplineFont
--- a/lib/fonts/IsabelleTextBold.sfd Fri Nov 06 18:15:35 2015 +0100
+++ b/lib/fonts/IsabelleTextBold.sfd Fri Nov 06 19:37:51 2015 +0100
@@ -20,7 +20,7 @@
OS2_WeightWidthSlopeOnly: 0
OS2_UseTypoMetrics: 1
CreationTime: 1050374980
-ModificationTime: 1446669811
+ModificationTime: 1446830034
PfmFamily: 17
TTFWeight: 700
TTFWidth: 5
@@ -1678,10 +1678,10 @@
DisplaySize: -96
AntiAlias: 1
FitToEm: 1
-WinInfo: 8064 21 15
+WinInfo: 10983 21 15
BeginPrivate: 0
EndPrivate
-BeginChars: 1114115 1386
+BeginChars: 1114115 1388
StartChar: .notdef
Encoding: 1114112 -1 0
@@ -68156,5 +68156,106 @@
0 690 l 1,0,-1
EndSplineSet
EndChar
+
+StartChar: uni204B
+Encoding: 8267 8267 1386
+Width: 1233
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+688 1493 m 2,0,1
+ 903 1493 903 1493 1033 1377 c 128,-1,2
+ 1163 1261 1163 1261 1163 1071 c 0,3,4
+ 1163 893 1163 893 1052.5 783.5 c 128,-1,5
+ 942 674 942 674 737 649 c 1,6,-1
+ 737 -197 l 1,7,-1
+ 549 -197 l 1,8,-1
+ 549 1346 l 1,9,-1
+ 359 1346 l 1,10,-1
+ 359 -197 l 1,11,-1
+ 168 -197 l 1,12,-1
+ 168 1493 l 1,13,-1
+ 688 1493 l 2,0,1
+EndSplineSet
+EndChar
+
+StartChar: uni2B1A
+Encoding: 11034 11034 1387
+Width: 1233
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+1227 126 m 1,0,-1
+ 1227 -78 l 1,1,-1
+ 1022 -78 l 1,2,-1
+ 1022 36 l 1,3,-1
+ 1112 36 l 1,4,-1
+ 1112 126 l 1,5,-1
+ 1227 126 l 1,0,-1
+1227 454 m 1,6,-1
+ 1227 280 l 1,7,-1
+ 1112 280 l 1,8,-1
+ 1112 454 l 1,9,-1
+ 1227 454 l 1,6,-1
+1227 788 m 1,10,-1
+ 1227 609 l 1,11,-1
+ 1112 609 l 1,12,-1
+ 1112 788 l 1,13,-1
+ 1227 788 l 1,10,-1
+868 36 m 1,14,-1
+ 868 -78 l 1,15,-1
+ 694 -78 l 1,16,-1
+ 694 36 l 1,17,-1
+ 868 36 l 1,14,-1
+540 36 m 1,18,-1
+ 540 -78 l 1,19,-1
+ 360 -78 l 1,20,-1
+ 360 36 l 1,21,-1
+ 540 36 l 1,18,-1
+120 126 m 1,22,-1
+ 120 36 l 1,23,-1
+ 206 36 l 1,24,-1
+ 206 -78 l 1,25,-1
+ 6 -78 l 1,26,-1
+ 6 126 l 1,27,-1
+ 120 126 l 1,22,-1
+120 454 m 1,28,-1
+ 120 280 l 1,29,-1
+ 6 280 l 1,30,-1
+ 6 454 l 1,31,-1
+ 120 454 l 1,28,-1
+120 788 m 1,32,-1
+ 120 609 l 1,33,-1
+ 6 609 l 1,34,-1
+ 6 788 l 1,35,-1
+ 120 788 l 1,32,-1
+1227 1142 m 1,36,-1
+ 1227 942 l 1,37,-1
+ 1112 942 l 1,38,-1
+ 1112 1028 l 1,39,-1
+ 1022 1028 l 1,40,-1
+ 1022 1142 l 1,41,-1
+ 1227 1142 l 1,36,-1
+868 1142 m 1,42,-1
+ 868 1028 l 1,43,-1
+ 694 1028 l 1,44,-1
+ 694 1142 l 1,45,-1
+ 868 1142 l 1,42,-1
+540 1142 m 1,46,-1
+ 540 1028 l 1,47,-1
+ 360 1028 l 1,48,-1
+ 360 1142 l 1,49,-1
+ 540 1142 l 1,46,-1
+206 1142 m 1,50,-1
+ 206 1028 l 1,51,-1
+ 120 1028 l 1,52,-1
+ 120 942 l 1,53,-1
+ 6 942 l 1,54,-1
+ 6 1142 l 1,55,-1
+ 206 1142 l 1,50,-1
+EndSplineSet
+EndChar
EndChars
EndSplineFont