NEWS
changeset 67305 ecb74607063f
parent 67304 3cf05d7cf174
child 67311 3869b2400e22
     1.1 --- a/NEWS	Sat Dec 30 20:04:05 2017 +0100
     1.2 +++ b/NEWS	Sat Dec 30 21:46:19 2017 +0100
     1.3 @@ -44,6 +44,10 @@
     1.4  * The command 'display_drafts' has been discontinued. INCOMPATIBILITY,
     1.5  use action "isabelle.draft" (or "print") in Isabelle/jEdit instead.
     1.6  
     1.7 +* Isabelle symbol "\<hyphen>" is rendered as explicit Unicode hyphen U+2010, to
     1.8 +avoid unclear meaning of the old "soft hyphen" U+00AD. Rare
     1.9 +INCOMPATIBILITY, e.g. copy-paste of historic Isabelle HTML output.
    1.10 +
    1.11  
    1.12  *** Isabelle/jEdit Prover IDE ***
    1.13