diff options
Diffstat (limited to 'etc/desktop')
| -rw-r--r-- | etc/desktop/proofgeneral.desktop | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/etc/desktop/proofgeneral.desktop b/etc/desktop/proofgeneral.desktop index 2cc0793a..a053f566 100644 --- a/etc/desktop/proofgeneral.desktop +++ b/etc/desktop/proofgeneral.desktop @@ -1,12 +1,14 @@ [Desktop Entry] +Type=Application +Version=1.0 +Encoding=UTF-8 Name=Proof General GenericName=Theorem proving environment Comment=Organise your proofs! -Exec=proofgeneral %F Icon=proofgeneral.png +FilePattern=proofgeneral +TryExec=proofgeneral +Exec=proofgeneral %F Terminal=false -Type=Application -Encoding=UTF-8 Categories=Application;IDE;Development;TextEditor;Math StartupWMClass=Emacs - |