# HG changeset patch # User wenzelm # Date 1446671287 -3600 # Node ID de7045616fc70415a7b3b3672a534ab5e8fece22 # Parent 1ec8af91e169f72ef1f2e7802a29ed7b2247da85 added propertional dashes from DejaVuSans (not Mono): 0x2013, 0x2014, 0x2015; diff -r 1ec8af91e169 -r de7045616fc7 Admin/components/components.sha1 --- 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 diff -r 1ec8af91e169 -r de7045616fc7 Admin/components/main --- 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 diff -r 1ec8af91e169 -r de7045616fc7 lib/fonts/IsabelleText.sfd --- 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 diff -r 1ec8af91e169 -r de7045616fc7 lib/fonts/IsabelleTextBold.sfd --- 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