makarius at sketis.net
Wed Sep 28 20:29:21 CEST 2011
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 ...
More information about the isabelle-dev