--- a/Admin/components/components.sha1 Wed Nov 04 20:35:58 2015 +0100
+++ b/Admin/components/components.sha1 Wed Nov 04 22:08:07 2015 +0100
@@ -31,6 +31,7 @@
eccff31931fb128c1dd522cfc85495c9b66e67af Haskabelle-2015.tar.gz
683acd94761ef460cca1a628f650355370de5afb hol-light-bundle-0.5-126.tar.gz
20b53cfc3ffc5b15c1eabc91846915b49b4c0367 isabelle_fonts-20151021.tar.gz
+736844204b2ef83974cd9f0a215738b767958c41 isabelle_fonts-20151104.tar.gz
8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz
d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz
--- a/Admin/components/main Wed Nov 04 20:35:58 2015 +0100
+++ b/Admin/components/main Wed Nov 04 22:08:07 2015 +0100
@@ -4,7 +4,7 @@
e-1.8
exec_process-1.0.3
Haskabelle-2015
-isabelle_fonts-20151021
+isabelle_fonts-20151104
jdk-8u66
jedit_build-20151023
jfreechart-1.0.14-1
--- a/lib/fonts/IsabelleText.sfd Wed Nov 04 20:35:58 2015 +0100
+++ b/lib/fonts/IsabelleText.sfd Wed Nov 04 22:08:07 2015 +0100
@@ -19,7 +19,7 @@
OS2_WeightWidthSlopeOnly: 0
OS2_UseTypoMetrics: 1
CreationTime: 1050361371
-ModificationTime: 1445439176
+ModificationTime: 1446669919
PfmFamily: 17
TTFWeight: 400
TTFWidth: 5
@@ -2241,11 +2241,11 @@
DisplaySize: -96
AntiAlias: 1
FitToEm: 1
-WinInfo: 9558 18 16
+WinInfo: 8154 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 1393
+BeginChars: 1114189 1394
StartChar: u10000
Encoding: 65536 65536 0
@@ -16604,69 +16604,32 @@
StartChar: endash
Encoding: 8211 8211 178
-Width: 1233
-Flags: W
-TtInstrs:
-PUSHB_7
- 2
- 182
- 0
- 253
- 4
- 1
- 0
-MDAP[rnd]
-MDRP[rnd,white]
-IUP[x]
-SVTCA[y-axis]
-SRP0
-MIRP[rp0,min,rnd,grey]
-MIRP[min,rnd,grey]
-IUP[y]
-EndTTInstrs
-LayerCount: 2
-Fore
-SplineSet
-0 633 m 1,0,-1
- 1233 633 l 1,1,-1
- 1233 492 l 1,2,-1
- 0 492 l 1,3,-1
- 0 633 l 1,0,-1
-EndSplineSet
-Validated: 1
+Width: 1024
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+100 633 m 1,0,-1
+ 924 633 l 1,1,-1
+ 924 489 l 1,2,-1
+ 100 489 l 1,3,-1
+ 100 633 l 1,0,-1
+EndSplineSet
EndChar
StartChar: emdash
Encoding: 8212 8212 179
-Width: 1233
-Flags: W
-TtInstrs:
-PUSHB_6
- 2
- 182
- 0
- 4
- 1
- 0
-MDAP[rnd]
-MDRP[rnd,grey]
-IUP[x]
-SVTCA[y-axis]
-SRP0
-MDRP[rp0,rnd,grey]
-MIRP[min,rnd,grey]
-IUP[y]
-EndTTInstrs
-LayerCount: 2
-Fore
-SplineSet
-0 633 m 1,0,-1
- 1233 633 l 1,1,-1
- 1233 492 l 1,2,-1
- 0 492 l 1,3,-1
- 0 633 l 1,0,-1
-EndSplineSet
-Validated: 1
+Width: 2048
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+100 633 m 1,0,-1
+ 1948 633 l 1,1,-1
+ 1948 489 l 1,2,-1
+ 100 489 l 1,3,-1
+ 100 633 l 1,0,-1
+EndSplineSet
EndChar
StartChar: quotedblleft
@@ -61936,5 +61899,20 @@
6 -78 l 1,112,-1
EndSplineSet
EndChar
+
+StartChar: afii00208
+Encoding: 8213 8213 1393
+Width: 2048
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+0 633 m 1,0,-1
+ 2048 633 l 1,1,-1
+ 2048 489 l 1,2,-1
+ 0 489 l 1,3,-1
+ 0 633 l 1,0,-1
+EndSplineSet
+EndChar
EndChars
EndSplineFont
--- a/lib/fonts/IsabelleTextBold.sfd Wed Nov 04 20:35:58 2015 +0100
+++ b/lib/fonts/IsabelleTextBold.sfd Wed Nov 04 22:08:07 2015 +0100
@@ -20,7 +20,7 @@
OS2_WeightWidthSlopeOnly: 0
OS2_UseTypoMetrics: 1
CreationTime: 1050374980
-ModificationTime: 1445439141
+ModificationTime: 1446669811
PfmFamily: 17
TTFWeight: 700
TTFWidth: 5
@@ -1678,10 +1678,10 @@
DisplaySize: -96
AntiAlias: 1
FitToEm: 1
-WinInfo: 9534 21 15
+WinInfo: 8064 21 15
BeginPrivate: 0
EndPrivate
-BeginChars: 1114115 1385
+BeginChars: 1114115 1386
StartChar: .notdef
Encoding: 1114112 -1 0
@@ -42258,63 +42258,31 @@
StartChar: endash
Encoding: 8211 8211 999
-Width: 1233
-Flags: W
-TtInstrs:
-PUSHB_5
- 2
- 0
- 4
- 1
- 0
-MDAP[rnd]
-MDRP[min,rnd,white]
-IUP[x]
-SVTCA[y-axis]
-SRP0
-MDRP[rp0,rnd,grey]
-MDRP[min,rnd,grey]
-IUP[y]
-EndTTInstrs
-LayerCount: 2
-Fore
-SplineSet
-0 690 m 1,0,-1
- 1233 690 l 1,1,-1
- 1233 444 l 1,2,-1
- 0 444 l 1,3,-1
- 0 690 l 1,0,-1
+Width: 1024
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+110 690 m 1,0,-1
+ 914 690 l 1,1,-1
+ 914 432 l 1,2,-1
+ 110 432 l 1,3,-1
+ 110 690 l 1,0,-1
EndSplineSet
EndChar
StartChar: emdash
Encoding: 8212 8212 1000
-Width: 1233
-Flags: W
-TtInstrs:
-PUSHB_5
- 2
- 0
- 4
- 1
- 0
-MDAP[rnd]
-MDRP[min,rnd,grey]
-IUP[x]
-SVTCA[y-axis]
-SRP0
-MDRP[rp0,rnd,grey]
-MDRP[min,rnd,grey]
-IUP[y]
-EndTTInstrs
-LayerCount: 2
-Fore
-SplineSet
-0 690 m 1,0,-1
- 1233 690 l 1,1,-1
- 1233 444 l 1,2,-1
- 0 444 l 1,3,-1
- 0 690 l 1,0,-1
+Width: 2048
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+110 690 m 1,0,-1
+ 1938 690 l 1,1,-1
+ 1938 432 l 1,2,-1
+ 110 432 l 1,3,-1
+ 110 690 l 1,0,-1
EndSplineSet
EndChar
@@ -68173,5 +68141,20 @@
6 -78 l 1,112,-1
EndSplineSet
EndChar
+
+StartChar: afii00208
+Encoding: 8213 8213 1385
+Width: 2048
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+0 690 m 1,0,-1
+ 2048 690 l 1,1,-1
+ 2048 432 l 1,2,-1
+ 0 432 l 1,3,-1
+ 0 690 l 1,0,-1
+EndSplineSet
+EndChar
EndChars
EndSplineFont