Email Gateway (Aug 22 2022 at 16:19): Email Gateway (Aug 22 2022 at 16:19):From: Makarius <makarius@sketis.net>
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
Email Gateway (Aug 22 2022 at 16:19):From: Dmitriy Traytel <traytel@inf.ethz.ch>
Hi Makarius,
I'm using Isabelle2017 on High Sierra without serious problem.
A slight annoyance is that I don't see which Panel is currently selected with the Mac OS X look-and-feel. (See attached pictures comparing Mac OS X and Metal, w.r.t. the selected Documentation Panel docked at the right.) But I guess this is rather a more general problem of jEdit.
Dmitriy
Email Gateway (Aug 22 2022 at 16:19):From: Gerwin.Klein@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.
Cheers,
Gerwin
Email Gateway (Aug 22 2022 at 16:20):From: "Thiemann, Rene" <Rene.Thiemann@uibk.ac.at>
Dear Makarius,
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).
Cheers,
René
Last updated: Nov 21 2024 at 12:39 UTC