Common errors

"IsabelleXXXX" cannot be opened because the developer cannot be verified

• System: MacOS
• Situation: Invoking Isabelle via scala-isabelle. A popup occurs
• Resolution: Locate the IsabelleXXXX installation in the Finder. Right click and select Open. Select Open in the following dialogue. From now on, the corresponding Isabelle installation should be marked as safe.
• Alternative resolution: Run sudo spctl --add DIR where DIR is the Isabelle installation folder. (This works without access to the UI.)
• See also: https://support.apple.com/guide/mac-help/open-a-mac-app-from-an-unidentified-developer-mh40616/mac