makarius at sketis.net
Tue Sep 27 14:09:13 CEST 2011
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
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.
More information about the isabelle-dev