diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-11-09 13:08:55 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-11-09 13:08:55 +0000 |
commit | 04195f8f15c22cd8be7a471b9a7724deee687098 (patch) | |
tree | 60a6a27332302a4219328f8da88bfa7231b8e4ad /etc | |
parent | a855fbd57bb569ce93ad89524071056c37d3146a (diff) |
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; |