more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);

--- a/Admin/components/components.sha1	Sat Dec 30 20:04:05 2017 +0100
+++ b/Admin/components/components.sha1	Sat Dec 30 21:46:19 2017 +0100
@@ -64,6 +64,7 @@
 9283e3b0b4c7239f57b18e076ec8bb21021832cb  isabelle_fonts-20160812.tar.gz
 620cffeb125e198b91a716da116f754d6cc8174b  isabelle_fonts-20160830.tar.gz
 b70690c85c05d0ca5bc29287abd20142f6ddcfb0  isabelle_fonts-20171222.tar.gz
+c17c482e411bbaf992498041a3e1dea80336aaa6  isabelle_fonts-20171230.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944  jdk-7u13.tar.gz

--- a/Admin/components/main	Sat Dec 30 20:04:05 2017 +0100
+++ b/Admin/components/main	Sat Dec 30 21:46:19 2017 +0100
@@ -4,7 +4,7 @@
 csdp-6.x
 cvc4-1.5-3
 e-2.0-1
-isabelle_fonts-20171222
+isabelle_fonts-20171230
 jdk-8u152
 jedit_build-20170319
 jfreechart-1.0.14-1

--- a/NEWS	Sat Dec 30 20:04:05 2017 +0100
+++ b/NEWS	Sat Dec 30 21:46:19 2017 +0100
@@ -44,6 +44,10 @@
 * The command 'display_drafts' has been discontinued. INCOMPATIBILITY,
 use action "isabelle.draft" (or "print") in Isabelle/jEdit instead.
 
+* Isabelle symbol "\<hyphen>" is rendered as explicit Unicode hyphen U+2010, to
+avoid unclear meaning of the old "soft hyphen" U+00AD. Rare
+INCOMPATIBILITY, e.g. copy-paste of historic Isabelle HTML output.
+
 
 *** Isabelle/jEdit Prover IDE ***
 

--- a/etc/symbols	Sat Dec 30 20:04:05 2017 +0100
+++ b/etc/symbols	Sat Dec 30 21:46:19 2017 +0100
@@ -326,7 +326,7 @@
 \<angle>                code: 0x002220
 \<copyright>            code: 0x0000a9
 \<registered>           code: 0x0000ae
-\<hyphen>               code: 0x0000ad  group: punctuation
+\<hyphen>               code: 0x002010  group: punctuation
 \<inverse>              code: 0x0000af  group: punctuation
 \<onequarter>           code: 0x0000bc  group: digit
 \<onehalf>              code: 0x0000bd  group: digit

--- a/lib/fonts/IsabelleText.sfd	Sat Dec 30 20:04:05 2017 +0100
+++ b/lib/fonts/IsabelleText.sfd	Sat Dec 30 21:46:19 2017 +0100
@@ -19,7 +19,7 @@
 OS2_WeightWidthSlopeOnly: 0
 OS2_UseTypoMetrics: 1
 CreationTime: 1050361371
-ModificationTime: 1472550975
+ModificationTime: 1514665982
 PfmFamily: 17
 TTFWeight: 400
 TTFWidth: 5
@@ -2241,11 +2241,11 @@
 DisplaySize: -96
 AntiAlias: 1
 FitToEm: 1
-WinInfo: 9684 18 16
+WinInfo: 8100 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 1409
+BeginChars: 1114189 1410
 
 StartChar: u10000
 Encoding: 65536 65536 0
@@ -62795,5 +62795,20 @@
  105 270 l 1,0,-1
 EndSplineSet
 EndChar
+
+StartChar: uni2010
+Encoding: 8208 8208 1409
+Width: 1233
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+356 643 m 1,0,-1
+ 877 643 l 1,1,-1
+ 877 479 l 1,2,-1
+ 356 479 l 1,3,-1
+ 356 643 l 1,0,-1
+EndSplineSet
+EndChar
 EndChars
 EndSplineFont

--- a/lib/fonts/IsabelleTextBold.sfd	Sat Dec 30 20:04:05 2017 +0100
+++ b/lib/fonts/IsabelleTextBold.sfd	Sat Dec 30 21:46:19 2017 +0100
@@ -20,7 +20,7 @@
 OS2_WeightWidthSlopeOnly: 0
 OS2_UseTypoMetrics: 1
 CreationTime: 1050374980
-ModificationTime: 1472550922
+ModificationTime: 1514666047
 PfmFamily: 17
 TTFWeight: 700
 TTFWidth: 5
@@ -1678,10 +1678,10 @@
 DisplaySize: -96
 AntiAlias: 1
 FitToEm: 1
-WinInfo: 9513 21 15
+WinInfo: 8085 21 15
 BeginPrivate: 0
 EndPrivate
-BeginChars: 1114115 1401
+BeginChars: 1114115 1402
 
 StartChar: .notdef
 Encoding: 1114112 -1 0
@@ -69165,5 +69165,20 @@
  105 270 l 1,0,-1
 EndSplineSet
 EndChar
+
+StartChar: uni2010
+Encoding: 8208 8208 1401
+Width: 1233
+Flags: W
+LayerCount: 2
+Fore
+SplineSet
+301 735 m 1,0,-1
+ 932 735 l 1,1,-1
+ 932 444 l 1,2,-1
+ 301 444 l 1,3,-1
+ 301 735 l 1,0,-1
+EndSplineSet
+EndChar
 EndChars
 EndSplineFont