*** 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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to