diff options
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 |