/usr/share/applications/proofgeneral.desktop is in proofgeneral 4.4.1~pre170114-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 | [Desktop Entry]
Type=Application
Version=1.0
Name=Proof General
GenericName=Theorem proving environment
Comment=Organise your proofs!
Icon=proofgeneral.png
TryExec=proofgeneral
Exec=proofgeneral %F
Terminal=false
Categories=Application;IDE;Development;TextEditor;Math
#StartupWMClass=Emacs
Keywords=proof assistant; Coq IDE;
|