diff options
Diffstat (limited to 'etc')
-rw-r--r-- | etc/ProofGeneral.desktop | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/etc/ProofGeneral.desktop b/etc/ProofGeneral.desktop index 93594ac4..21aa36a8 100644 --- a/etc/ProofGeneral.desktop +++ b/etc/ProofGeneral.desktop @@ -1,8 +1,9 @@ -# KDE Config File [Desktop Entry] +Value=1.0 +Type=Application Name=Proof General Comment=Interface to Proof Assistants -Type=Application -Exec=proofgeneral Icon=pgicon.png -Terminal=0 +Exec=proofgeneral +Terminal=false +Categories=Development;Math; |