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