[isabelle-dev] Isabelle_11-Sep-2011

Makarius makarius at sketis.net
Mon Sep 26 23:29:16 CEST 2011

On Fri, 23 Sep 2011, René Thiemann wrote:

> Dear Makarius,
>> A preliminary test distribution is now available from http://www4.in.tum.de/~wenzelm/test/Isabelle_11-Sep-2011/download.html
>> A preliminary test distribution is now available from http://www4.in.tum.de/~wenzelm/test/Isabelle_20-Sep-2011/download.html
> the Emacs version of the distribution of 11-Sep (Emacs 23.2) works nicely with Mac OS Lion.
> However, testing Isabelle_20-Sep-2011 with Emacs 23.3, there seems to be a problem for Mac OS Lion users:
> Many special characters like ==> \in, => are not displayed correctly which makes working inconvenient. Under
> http://cl-informatik.uibk.ac.at/~thiemann/emacs.html
> I put two small screenshots where one can observe the problem.
> I don't know what the advantages of 23.3 are, but this display problem is a real disadvantage, so one might consider which
> version should be shipped in final MacOS distribution 2011-1.

This looks bad.  I still do not have Lion desktop access to try it myself.

It is probably worth filing a report at 


More information about the isabelle-dev mailing list