more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);
authorwenzelm
Sat Dec 30 21:46:19 2017 +0100 (17 months ago)
changeset 67305ecb74607063f
parent 67304 3cf05d7cf174
child 67306 897344e33c26
more robust hyphen (see also "Soft hyphen (SHY) – a hard problem?" http://jkorpela.fi/shy.html);
Admin/components/components.sha1
Admin/components/main
NEWS
etc/symbols
lib/fonts/IsabelleText.sfd
lib/fonts/IsabelleTextBold.sfd
     1.1 --- a/Admin/components/components.sha1	Sat Dec 30 20:04:05 2017 +0100
     1.2 +++ b/Admin/components/components.sha1	Sat Dec 30 21:46:19 2017 +0100
     1.3 @@ -64,6 +64,7 @@
     1.4  9283e3b0b4c7239f57b18e076ec8bb21021832cb  isabelle_fonts-20160812.tar.gz
     1.5  620cffeb125e198b91a716da116f754d6cc8174b  isabelle_fonts-20160830.tar.gz
     1.6  b70690c85c05d0ca5bc29287abd20142f6ddcfb0  isabelle_fonts-20171222.tar.gz
     1.7 +c17c482e411bbaf992498041a3e1dea80336aaa6  isabelle_fonts-20171230.tar.gz
     1.8  8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
     1.9  38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
    1.10  d765bc4ad2f34d494429b2a8c1563c49db224944  jdk-7u13.tar.gz
     2.1 --- a/Admin/components/main	Sat Dec 30 20:04:05 2017 +0100
     2.2 +++ b/Admin/components/main	Sat Dec 30 21:46:19 2017 +0100
     2.3 @@ -4,7 +4,7 @@
     2.4  csdp-6.x
     2.5  cvc4-1.5-3
     2.6  e-2.0-1
     2.7 -isabelle_fonts-20171222
     2.8 +isabelle_fonts-20171230
     2.9  jdk-8u152
    2.10  jedit_build-20170319
    2.11  jfreechart-1.0.14-1
     3.1 --- a/NEWS	Sat Dec 30 20:04:05 2017 +0100
     3.2 +++ b/NEWS	Sat Dec 30 21:46:19 2017 +0100
     3.3 @@ -44,6 +44,10 @@
     3.4  * The command 'display_drafts' has been discontinued. INCOMPATIBILITY,
     3.5  use action "isabelle.draft" (or "print") in Isabelle/jEdit instead.
     3.6  
     3.7 +* Isabelle symbol "\<hyphen>" is rendered as explicit Unicode hyphen U+2010, to
     3.8 +avoid unclear meaning of the old "soft hyphen" U+00AD. Rare
     3.9 +INCOMPATIBILITY, e.g. copy-paste of historic Isabelle HTML output.
    3.10 +
    3.11  
    3.12  *** Isabelle/jEdit Prover IDE ***
    3.13  
     4.1 --- a/etc/symbols	Sat Dec 30 20:04:05 2017 +0100
     4.2 +++ b/etc/symbols	Sat Dec 30 21:46:19 2017 +0100
     4.3 @@ -326,7 +326,7 @@
     4.4  \<angle>                code: 0x002220
     4.5  \<copyright>            code: 0x0000a9
     4.6  \<registered>           code: 0x0000ae
     4.7 -\<hyphen>               code: 0x0000ad  group: punctuation
     4.8 +\<hyphen>               code: 0x002010  group: punctuation
     4.9  \<inverse>              code: 0x0000af  group: punctuation
    4.10  \<onequarter>           code: 0x0000bc  group: digit
    4.11  \<onehalf>              code: 0x0000bd  group: digit
     5.1 --- a/lib/fonts/IsabelleText.sfd	Sat Dec 30 20:04:05 2017 +0100
     5.2 +++ b/lib/fonts/IsabelleText.sfd	Sat Dec 30 21:46:19 2017 +0100
     5.3 @@ -19,7 +19,7 @@
     5.4  OS2_WeightWidthSlopeOnly: 0
     5.5  OS2_UseTypoMetrics: 1
     5.6  CreationTime: 1050361371
     5.7 -ModificationTime: 1472550975
     5.8 +ModificationTime: 1514665982
     5.9  PfmFamily: 17
    5.10  TTFWeight: 400
    5.11  TTFWidth: 5
    5.12 @@ -2241,11 +2241,11 @@
    5.13  DisplaySize: -96
    5.14  AntiAlias: 1
    5.15  FitToEm: 1
    5.16 -WinInfo: 9684 18 16
    5.17 +WinInfo: 8100 18 16
    5.18  BeginPrivate: 0
    5.19  EndPrivate
    5.20  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
    5.21 -BeginChars: 1114189 1409
    5.22 +BeginChars: 1114189 1410
    5.23  
    5.24  StartChar: u10000
    5.25  Encoding: 65536 65536 0
    5.26 @@ -62795,5 +62795,20 @@
    5.27   105 270 l 1,0,-1
    5.28  EndSplineSet
    5.29  EndChar
    5.30 +
    5.31 +StartChar: uni2010
    5.32 +Encoding: 8208 8208 1409
    5.33 +Width: 1233
    5.34 +Flags: W
    5.35 +LayerCount: 2
    5.36 +Fore
    5.37 +SplineSet
    5.38 +356 643 m 1,0,-1
    5.39 + 877 643 l 1,1,-1
    5.40 + 877 479 l 1,2,-1
    5.41 + 356 479 l 1,3,-1
    5.42 + 356 643 l 1,0,-1
    5.43 +EndSplineSet
    5.44 +EndChar
    5.45  EndChars
    5.46  EndSplineFont
     6.1 --- a/lib/fonts/IsabelleTextBold.sfd	Sat Dec 30 20:04:05 2017 +0100
     6.2 +++ b/lib/fonts/IsabelleTextBold.sfd	Sat Dec 30 21:46:19 2017 +0100
     6.3 @@ -20,7 +20,7 @@
     6.4  OS2_WeightWidthSlopeOnly: 0
     6.5  OS2_UseTypoMetrics: 1
     6.6  CreationTime: 1050374980
     6.7 -ModificationTime: 1472550922
     6.8 +ModificationTime: 1514666047
     6.9  PfmFamily: 17
    6.10  TTFWeight: 700
    6.11  TTFWidth: 5
    6.12 @@ -1678,10 +1678,10 @@
    6.13  DisplaySize: -96
    6.14  AntiAlias: 1
    6.15  FitToEm: 1
    6.16 -WinInfo: 9513 21 15
    6.17 +WinInfo: 8085 21 15
    6.18  BeginPrivate: 0
    6.19  EndPrivate
    6.20 -BeginChars: 1114115 1401
    6.21 +BeginChars: 1114115 1402
    6.22  
    6.23  StartChar: .notdef
    6.24  Encoding: 1114112 -1 0
    6.25 @@ -69165,5 +69165,20 @@
    6.26   105 270 l 1,0,-1
    6.27  EndSplineSet
    6.28  EndChar
    6.29 +
    6.30 +StartChar: uni2010
    6.31 +Encoding: 8208 8208 1401
    6.32 +Width: 1233
    6.33 +Flags: W
    6.34 +LayerCount: 2
    6.35 +Fore
    6.36 +SplineSet
    6.37 +301 735 m 1,0,-1
    6.38 + 932 735 l 1,1,-1
    6.39 + 932 444 l 1,2,-1
    6.40 + 301 444 l 1,3,-1
    6.41 + 301 735 l 1,0,-1
    6.42 +EndSplineSet
    6.43 +EndChar
    6.44  EndChars
    6.45  EndSplineFont