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
http://proofgeneral.inf.ed.ac.uk/trac/
Makarius_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
