equal
deleted
inserted
replaced
303 <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> |
303 <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> |
304 <plist version="1.0"> |
304 <plist version="1.0"> |
305 <dict> |
305 <dict> |
306 <key>CFBundleDevelopmentRegion</key> |
306 <key>CFBundleDevelopmentRegion</key> |
307 <string>English</string> |
307 <string>English</string> |
308 <key>CFBundleIconFile</key> |
|
309 <string>isabelle.icns</string> |
|
310 <key>CFBundleIdentifier</key> |
308 <key>CFBundleIdentifier</key> |
311 <string>de.tum.in.isabelle.""" + isabelle_name + """</string> |
309 <string>de.tum.in.isabelle.""" + isabelle_name + """</string> |
312 <key>CFBundleDisplayName</key> |
310 <key>CFBundleDisplayName</key> |
313 <string>""" + isabelle_name + """</string> |
311 <string>""" + isabelle_name + """</string> |
314 <key>CFBundleInfoDictionaryVersion</key> |
312 <key>CFBundleInfoDictionaryVersion</key> |
338 <dict> |
336 <dict> |
339 <key>CFBundleTypeExtensions</key> |
337 <key>CFBundleTypeExtensions</key> |
340 <array> |
338 <array> |
341 <string>thy</string> |
339 <string>thy</string> |
342 </array> |
340 </array> |
343 <key>CFBundleTypeIconFile</key> |
|
344 <string>theory.icns</string> |
|
345 <key>CFBundleTypeName</key> |
341 <key>CFBundleTypeName</key> |
346 <string>Isabelle theory file</string> |
342 <string>Isabelle theory file</string> |
347 <key>CFBundleTypeRole</key> |
343 <key>CFBundleTypeRole</key> |
348 <string>Editor</string> |
344 <string>Editor</string> |
349 <key>LSTypeIsPackage</key> |
345 <key>LSTypeIsPackage</key> |