[isabelle-dev] Isabelle_11-Sep-2011

[Makarius]

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.


 	Makarius