Re: [isabelle] Isabelle on macOS High Sierra
Iâm working on High Sierra for roughly 2 weeks on one of my machines and did not
find any Isabelle-related problems. (Though I have some sporadic freezes which
seem to occur in any application, independent on whether Isabelle was started or not).
> Am 26.10.2017 um 22:58 schrieb Gerwin.Klein at data61.csiro.au:
> I have been using Isabelle2017 with High Sierra on the work desktop for about a week or so. No serious issues so far.
>> 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?
This archive was generated by a fusion of
Pipermail (Mailman edition) and