[isabelle-dev] NEWS: more robust \<hyphen>
makarius at sketis.net
Sat Dec 30 22:01:43 CET 2017
*** 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.
More information about the isabelle-dev