[isabelle-dev] NEWS: more robust \<hyphen>

[Makarius]

*** General ***

* 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.


This refers to Isabelle/ecb74607063f.

The full insanity of U+00AD is explained in http://jkorpela.fi/shy.html
-- our use of it was a remnant of ISO-Latin-1.


	Makarius