[isabelle-dev] Unicode tokens and Isabelle fonts

David Aspinall David.Aspinall at ed.ac.uk
Wed Jul 29 16:50:30 CEST 2009

> STIX announcements have already become a (bad) insider joke.  Let's hope 
> they will manage eventually.  Right now we have more immediate problems 
> with Emacs and Proof General.

Well, please let me know what those are by reporting here:


... there you'll find that I am only 4 weeks late with PG 4.0, but the 
necessary effort on PG Eclipse has not materialised yet sadly.

By the way, I tried the STIX beta release (still available on 
repositories I think) and found they were pretty good (none of the 
problems Lucas mentions), the main problem for Emacs/Isabelle perhaps 
being that the fonts do not have a fixed width variant.  I certainly 
don't think the designers are "clueless".  See screenshot attached.

  - D.

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: TokensAcid.png
Type: image/png
Size: 119388 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20090729/72d43133/attachment-0002.png>

More information about the isabelle-dev mailing list