etc/ProofGeneral.desktop


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