changeset 67305 | ecb74607063f |
parent 67304 | 3cf05d7cf174 |
child 67311 | 3869b2400e22 |
--- 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 ***