On Tue, 27 Sep 2011, Makarius wrote:
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.
I am still in the course of trying to recover from that savage Lion on my
machine. So many problems from this "bargain" of $29.99 or EUR 23.99 ...
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
