Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle on macOS High Sierra


view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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: Mar 29 2024 at 08:18 UTC