On Mon, 26 Sep 2011, Makarius wrote:
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.
I have now payed the tax for Lion on my desktop. As anticipated, Apple
has introduced some new problems, like lack of Java by default. I will
try to iron that out a little.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev