[isabelle] Isabelle on macOS High Sierra

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?


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