[isabelle-dev] Isabelle_11-Sep-2011

Makarius 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 
> 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.


More information about the isabelle-dev mailing list