# 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