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