[isabelle-dev] Isabelle_11-Sep-2011

Makarius 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 mailing list