*** Isabelle/jEdit Prover IDE ***
* Bibtex database files (.bib) are semantically checked.
* Action "isabelle.preview" is able to present more file formats,
notably bibtex database files and ML files.
*** Document preparation ***
* Document antiquotation @{cite} now checks the given Bibtex
*** Isabelle/jEdit Prover IDE ***
* When loading text files, the Isabelle symbols encoding UTF-8-Isabelle
is only used if there is no conflict with existing Unicode sequences in
the file. Otherwise, the fallback encoding is plain UTF-8 and Isabelle
symbols remain in literal \ form. This avoids
*** General ***
* Isabelle symbol "\" 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
