Re: [isabelle] Isabelle on macOS High Sierra



I have been using Isabelle2017 with High Sierra on the work desktop for about a week or so. No serious issues so far.

Cheers,
Gerwin

> On 26.10.2017, at 21:19, Makarius <makarius at sketis.net> wrote:
> 
> Dear Isabelle and macOS users,
> 
> how is the experience concerning macOS 10.13 High Sierra so far?
> 
> I have made a test installation of it and played with it a little.
> Isabelle2017 seems to run mostly fine, but there are small dropouts in
> the rendering of Isabelle SideKick. This is probably due to HTML GUI
> rendering problems that Oracle and/or Apple still need to sort out (the
> update from Java 8u144 to current Java 8u152 did not help).
> 
> Are there more serious problems encountered in practical work?
> 
> 
> 	Makarius
> 





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.