CFBundleDocumentTypes CFBundleTypeExtensions * CFBundleTypeName NSStringPboardType CFBundleTypeOSTypes **** CFBundleTypeRole Editor CFBundleTypeIconFile coqfile.icns CFBundleTypeName Coq file CFBundleTypeRole Editor CFBundleTypeMIMETypes text/plain CFBundleTypeExtensions v LSHandlerRank Owner CFBundleTypeName All CFBundleTypeRole Editor CFBundleTypeMIMETypes text/plain LSHandlerRank Default CFBundleTypeExtensions * CFBundleIconFile coqide.icns CFBundleVersion 390 CFBundleName CoqIDE CFBundleShortVersionString VERSION CFBundleDisplayName Coq Proof Assistant vVERSION CFBundleGetInfoString Coq_vVERSION NSHumanReadableCopyright Copyright 1999-2016, The Coq Development Team INRIA - CNRS - LIX - LRI - PPS CFBundleHelpBookFolder share/doc/coq/html/ CFAppleHelpAnchor index CFBundleExecutable coqide CFBundlePackageType APPL CFBundleInfoDictionaryVersion 6.0 CFBundleIdentifier fr.inria.coq.coqide LSApplicationCategoryType public.app-category.developer-tools CFBundleDevelopmentRegion English NSPrincipalClass NSApplication