/ide/MacOS/

• ../
• Info.plist.template
• coqfile.icns
• coqide.icns
• default_accel_map
• relatify_with-respect-to_.sh