macOS 10.15 Catalina (October 2019) makes it hard to run unsigned applications, see also the Isabelle website b00c19ebb237.
Proper support seems to require code signing and code "notarization", but this needs membership of the Apple Developer Program (normally 90$ per year with some administrative overhead).