[isabelle] Re2 jEdit: Limited Unicode Support



Makarius,
you are not alone in having Unicode bugs;
on Win7 I have got a problem with the Font Elbian.ttf and the software, it was created with.
The world is not yet (fully) connected by characters ...
Jens







This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.