diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2005-07-15 11:31:38 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2005-07-15 11:31:38 +0000 |
commit | 41e8ba1658b3181a47c0f075ea6f4fe9e3e59a81 (patch) | |
tree | 29b5bd5c5c9a9cf03dbdca464b42af8bb86d25f6 /etc/desktop | |
parent | 44c9cf6482f446e74648c0894b2730df7bd01628 (diff) |
Tweaks according to menu-spec-0.9, desktop-entry-spect 0.9.4
Diffstat (limited to 'etc/desktop')
-rw-r--r-- | etc/desktop/proofgeneral.desktop | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/etc/desktop/proofgeneral.desktop b/etc/desktop/proofgeneral.desktop index 2ee66642..2cc0793a 100644 --- a/etc/desktop/proofgeneral.desktop +++ b/etc/desktop/proofgeneral.desktop @@ -1,11 +1,12 @@ [Desktop Entry] Name=Proof General -Comment=Organise Your Proofs! +GenericName=Theorem proving environment +Comment=Organise your proofs! Exec=proofgeneral %F Icon=proofgeneral.png Terminal=false Type=Application Encoding=UTF-8 -Categories=Application;Development;TextEditor;Mathematics +Categories=Application;IDE;Development;TextEditor;Math StartupWMClass=Emacs |