diff options
Diffstat (limited to 'ide/MacOS')
| -rw-r--r-- | ide/MacOS/Info.plist.template | 6 | ||||
| -rw-r--r-- | ide/MacOS/coqfile.icns | bin | 50724 -> 234599 bytes | |||
| -rw-r--r-- | ide/MacOS/coqide.icns | bin | 38372 -> 326632 bytes |
3 files changed, 4 insertions, 2 deletions
diff --git a/ide/MacOS/Info.plist.template b/ide/MacOS/Info.plist.template index cba708e946..fd80c83969 100644 --- a/ide/MacOS/Info.plist.template +++ b/ide/MacOS/Info.plist.template @@ -60,7 +60,7 @@ <key>CFBundleName</key> <string>CoqIDE</string> <key>CFBundleShortVersionString</key> - <string>Coq_vVERSION</string> + <string>VERSION</string> <key>CFBundleDisplayName</key> <string>Coq Proof Assistant vVERSION</string> <key>CFBundleGetInfoString</key> @@ -78,7 +78,9 @@ <key>CFBundleInfoDictionaryVersion</key> <string>6.0</string> <key>CFBundleIdentifier</key> - <string>fr.inria.coqide</string> + <string>fr.inria.coq.coqide</string> + <key>LSApplicationCategoryType</key> + <string>public.app-category.developer-tools</string> <key>CFBundleDevelopmentRegion</key> <string>English</string> <key>NSPrincipalClass</key> diff --git a/ide/MacOS/coqfile.icns b/ide/MacOS/coqfile.icns Binary files differindex 1946f3d619..107e70431d 100644 --- a/ide/MacOS/coqfile.icns +++ b/ide/MacOS/coqfile.icns diff --git a/ide/MacOS/coqide.icns b/ide/MacOS/coqide.icns Binary files differindex 2252bb4b64..92bdfe773f 100644 --- a/ide/MacOS/coqide.icns +++ b/ide/MacOS/coqide.icns |