From 41e8ba1658b3181a47c0f075ea6f4fe9e3e59a81 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Jul 2005 11:31:38 +0000
Subject: Tweaks according to menu-spec-0.9, desktop-entry-spect 0.9.4

---
 etc/desktop/proofgeneral.desktop | 5 +++--
 1 file 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
 
-- 
cgit v1.2.3