[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,
>
>
> 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.