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

isabelle-dev mailing list

Reply via email to