diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2005-07-15 12:01:35 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2005-07-15 12:01:35 +0000 |
commit | 18104c0e48cf32174ae1482e4d49734c5452fe94 (patch) | |
tree | 7f4e18e3d04aa937eeb4df14ebcd79a84fca8834 /etc/desktop | |
parent | 951c2b9817b405dfaa87750a5d3ca29b2452479c (diff) |
Update to match desktop entry spec 0.9.4
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 - |