> 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: http://proofgeneral.inf.ed.ac.uk/trac/ ... 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://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20090729/72d43133/attachment-0001.png>
