1 2 3 4 5 6 7 8 9 10 11
[Desktop Entry] Name=Proof General Comment=Organise Your Proofs! Exec=proofgeneral %F Icon=proofgeneral.png Terminal=false Type=Application Encoding=UTF-8 Categories=Application;Development;TextEditor StartupWMClass=Emacs