1 2 3 4 5 6 7 8
# KDE Config File [Desktop Entry] Name=Proof General Comment=Interface to Proof Assistants Type=Application Exec=proofgeneral Icon=pgicon.png Terminal=0