On Sat, 12 Mar 2016, Florian Haftmann wrote:
* All other characters are represented as »Char n«
BTW, these Unicode guillemets cause problems in the NEWS file, which is
subject to standard Isabelle symbol interpretation. I've changed that in
a2351f82bc48.
Another Unicode accident (by Andreas Lochbihler) is repaired in
a9ee1f240b81. Luckily we don't rely on raw Unicode under normal
circumstances.
I usually edit the NEWS file with the "mini-IDE" of Isabelle/jEdit,
especially the Sidekick view helps to see the structure of this
increasingly complex file.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
