Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Re2 jEdit: Limited Unicode Support

Email Gateway (Aug 18 2022 at 20:28):

From: Jens Doll <jd@cococo.de>
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

Last updated: Feb 15 2026 at 05:19 UTC