Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] jEdit not opening on MacOS

view this post on Zulip Email Gateway (Sep 21 2023 at 14:04):

From: "\"Stell, Amy\"" <cl-isabelle-users@lists.cam.ac.uk>
Hi all,

I have been having some difficulties on MacOS where jEdit is not starting and I wondered if anyone else has experienced something similar. The opening Isabelle logo appears but it does not result in the jEdit window opening, with the process not responding in my activity monitor.

I updated to MacOS Ventura Version 13.5.2 and Isabelle2023 and the same behaviour persists.

My machine specifications are as follows:
MacBook Pro 16-Inch 2019
Processor: 2.4GHz 8-Core Intel Core i9
Memory: 64GB 2667 MHz DDR4
Storage: 1.43TB available of 2TB
MacOS: macOS Ventura Version 13.5.2

Isabelle version 2023
Isabelle java version:
openjdk 17.0.7 2023-04-18 LTS
OpenJDK Runtime Environment Zulu17.42+19-CA (build 17.0.7+7-LTS)
OpenJDK 64-Bit Server VM Zulu17.42+19-CA (build 17.0.7+7-LTS, mixed mode, sharing)

When building on the command line the build works successfully, Isabelle scala and Isabelle vscode all work as expected.

Have tried opening it with only the isabelle jar with no success:
Isabelle2023.app/bin/isabelle java -jar Isabelle2023.app/contrib/jedit-20211103/jedit5.6.0-patched/jedit.jar

The process is not getting as far as reading the jedit configuration or creating the activity log as when these were changed / deleted the activity log file was not regenerated.

Many Thanks,
Amy

view this post on Zulip Email Gateway (Sep 22 2023 at 09:52):

From: "\"Stell, Amy\"" <cl-isabelle-users@lists.cam.ac.uk>
Hi all,

I have been having some difficulties on MacOS where jEdit is not starting and I wondered if anyone else has experienced something similar. The opening Isabelle logo appears but it does not result in the jEdit window opening, with the process not responding in my activity monitor.

It started after I updated to MacOS Ventura Version 13.5.1.

My machine specifications are as follows:
MacBook Pro 16-Inch 2019
Processor: 2.4GHz 8-Core Intel Core i9
Memory: 64GB 2667 MHz DDR4
Storage: 1.43TB available of 2TB
MacOS: macOS Ventura Version 13.5.1

Isabelle version 2023
Isabelle java version:

openjdk 17.0.7 2023-04-18 LTS

OpenJDK Runtime Environment Zulu17.42+19-CA (build 17.0.7+7-LTS)

OpenJDK 64-Bit Server VM Zulu17.42+19-CA (build 17.0.7+7-LTS, mixed mode, sharing)

When building on the command line the build works successfully, Isabelle scala and Isabelle vscode all work as expected.

Have tried opening it with only the isabelle jar with no success:

Isabelle2023.app/bin/isabelle java -jar Isabelle2023.app/contrib/jedit-20211103/jedit5.6.0-patched/jedit.jar

The process is not getting as far as reading the jedit configuration or creating the activity log as when these were changed / deleted the activity log file was not regenerated.

Many Thanks,

Amy

view this post on Zulip Email Gateway (Sep 22 2023 at 11:12):

From: Lawrence Paulson <lp15@cam.ac.uk>
I am running version 13.5.2, and Isabelle2023 seems to work fine on my 2019 Intel iMac (with 32 GB of memory)

Larry

view this post on Zulip Email Gateway (Sep 22 2023 at 11:16):

From: Makarius <makarius@sketis.net>
Have you tried "isabelle jedit" on the command-line?

Moreover see the hints about macOS on the bottom of
https://isabelle.in.tum.de/installation.html --- especially this (outdated)
screenshot https://isabelle.in.tum.de/img/macos_security.png

Makarius

view this post on Zulip Email Gateway (Sep 27 2023 at 15:14):

From: "\"Stell, Amy\"" <cl-isabelle-users@lists.cam.ac.uk>
Hi all,

Thanks for the suggestions.

I have tried to open isabelle on the command line with isabelle jedit, and it just results in the program not responding and not opening (the same as if I use the icon to start the program or if I try using a session/ROOT file).

I can also confirm that when I downloaded on isabelle MacOS I allowed downloads from unidentified developers and clicked “open anyway” on first install. The problem I am experiencing does not happen every time I try to start isabelle and is isolated to jedit as the other command line tools work fine.

I am out of ideas, so some debugging pointers would be appreciated.

Thanks,
Amy

view this post on Zulip Email Gateway (Sep 28 2023 at 08:44):

From: Makarius <makarius@sketis.net>
I have at least one more idea: clean all program state for Isabelle/jEdit by
removing $HOME/.isabelle/jedit

Another idea: try a different version of Isabelle.

Makarius

view this post on Zulip Email Gateway (Sep 28 2023 at 11:41):

From: Lawrence Paulson <lp15@cam.ac.uk>
This is simply generic Mac advice: create a new user account and try there. If it works, then something in your local filespace is to blame (and at least you can use it on that account)

Larry Paulson

Last updated: Apr 28 2024 at 20:16 UTC