[isabelle] Re2 jEdit: Limited Unicode Support
- To: cl-isabelle-users at lists.cam.ac.uk
- Subject: [isabelle] Re2 jEdit: Limited Unicode Support
- From: Jens Doll <jd at cococo.de>
- Date: Sun, 01 Jul 2012 11:53:52 +0200
- In-reply-to: <4FEF49DD.email@example.com>
- References: <4FEF49DD.firstname.lastname@example.org>
- User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:13.0) Gecko/20120614 Thunderbird/13.0.1
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