CFBundleDevelopmentRegion English CFBundleExecutable JavaAppLauncher CFBundleIconFile isabelle.icns CFBundleIdentifier de.tum.in.isabelle.{ISABELLE_NAME} CFBundleDisplayName {ISABELLE_NAME} CFBundleInfoDictionaryVersion 6.0 CFBundleName {ISABELLE_NAME} CFBundlePackageType APPL CFBundleShortVersionString 1.0 CFBundleSignature ???? CFBundleVersion 1 NSHumanReadableCopyright LSMinimumSystemVersion 10.7 LSApplicationCategoryType public.app-category.developer-tools NSHighResolutionCapable true NSSupportsAutomaticGraphicsSwitching true JVMRuntime bundled.jdk JVMMainClassName isabelle.Main CFBundleDocumentTypes CFBundleTypeExtensions thy CFBundleTypeIconFile theory.icns CFBundleTypeName Isabelle theory file CFBundleTypeRole Editor LSTypeIsPackage JVMOptions