[isabelle] Re2 jEdit: Limited Unicode Support

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

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