diff options
| author | Enrico Tassi | 2020-06-03 15:06:07 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-06-03 15:06:07 +0200 |
| commit | 42e9c71b8f0b27c7720c22cd57517af77a5f8e90 (patch) | |
| tree | 9d0cab0e9ffc2f1499ec1d49b142a758d7f80fee /ide/MacOS | |
| parent | db768e6828af62e06eb03d36509be6f8fc1efbf3 (diff) | |
| parent | 33021618a06a94563d28691940f02a55bd9d358d (diff) | |
Merge PR #12337: Move CoqIDE to its own folder
Reviewed-by: MSoegtropIMC
Reviewed-by: Zimmi48
Reviewed-by: gares
Reviewed-by: ppedrot
Diffstat (limited to 'ide/MacOS')
| -rw-r--r-- | ide/MacOS/Info.plist.template | 89 | ||||
| -rw-r--r-- | ide/MacOS/coqfile.icns | bin | 234599 -> 0 bytes | |||
| -rw-r--r-- | ide/MacOS/coqide.icns | bin | 326632 -> 0 bytes |
3 files changed, 0 insertions, 89 deletions
diff --git a/ide/MacOS/Info.plist.template b/ide/MacOS/Info.plist.template deleted file mode 100644 index e4fb0e5980..0000000000 --- a/ide/MacOS/Info.plist.template +++ /dev/null @@ -1,89 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> -<plist version="1.0"> -<dict> - <key>CFBundleDocumentTypes</key> - <array> - <dict> - <key>CFBundleTypeExtensions</key> - <array> - <string>*</string> - </array> - <key>CFBundleTypeName</key> - <string>NSStringPboardType</string> - <key>CFBundleTypeOSTypes</key> - <array> - <string>****</string> - </array> - <key>CFBundleTypeRole</key> - <string>Editor</string> - </dict> - <dict> - <key>CFBundleTypeIconFile</key> - <string>coqfile.icns</string> - <key>CFBundleTypeName</key> - <string>Coq file</string> - <key>CFBundleTypeRole</key> - <string>Editor</string> - <key>CFBundleTypeMIMETypes</key> - <array> - <string>text/plain</string> - </array> - <key>CFBundleTypeExtensions</key> - <array> - <string>v</string> - </array> - <key>LSHandlerRank</key> - <string>Owner</string> - </dict> - <dict> - <key>CFBundleTypeName</key> - <string>All</string> - <key>CFBundleTypeRole</key> - <string>Editor</string> - <key>CFBundleTypeMIMETypes</key> - <array> - <string>text/plain</string> - </array> - <key>LSHandlerRank</key> - <string>Default</string> - <key>CFBundleTypeExtensions</key> - <array> - <string>*</string> - </array> - </dict> - </array> - <key>CFBundleIconFile</key> - <string>coqide.icns</string> - <key>CFBundleVersion</key> - <string>390</string> - <key>CFBundleName</key> - <string>CoqIDE</string> - <key>CFBundleShortVersionString</key> - <string>VERSION</string> - <key>CFBundleDisplayName</key> - <string>Coq Proof Assistant vVERSION</string> - <key>CFBundleGetInfoString</key> - <string>Coq_vVERSION</string> - <key>NSHumanReadableCopyright</key> - <string>Copyright 1999-2019, Inria, CNRS and contributors</string> - <key>CFBundleHelpBookFolder</key> - <string>share/doc/coq/html/</string> - <key>CFAppleHelpAnchor</key> - <string>index</string> - <key>CFBundleExecutable</key> - <string>coqide</string> - <key>CFBundlePackageType</key> - <string>APPL</string> - <key>CFBundleInfoDictionaryVersion</key> - <string>6.0</string> - <key>CFBundleIdentifier</key> - <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> - <string>NSApplication</string> -</dict> -</plist> diff --git a/ide/MacOS/coqfile.icns b/ide/MacOS/coqfile.icns Binary files differdeleted file mode 100644 index 107e70431d..0000000000 --- a/ide/MacOS/coqfile.icns +++ /dev/null diff --git a/ide/MacOS/coqide.icns b/ide/MacOS/coqide.icns Binary files differdeleted file mode 100644 index 92bdfe773f..0000000000 --- a/ide/MacOS/coqide.icns +++ /dev/null |