From 04195f8f15c22cd8be7a471b9a7724deee687098 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 9 Nov 2010 13:08:55 +0000
Subject: Address http://proofgeneral.inf.ed.ac.uk/trac/ticket/379

---
 etc/ProofGeneral.desktop | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'etc/ProofGeneral.desktop')

diff --git a/etc/ProofGeneral.desktop b/etc/ProofGeneral.desktop
index 93594ac4..21aa36a8 100644
--- a/etc/ProofGeneral.desktop
+++ b/etc/ProofGeneral.desktop
@@ -1,8 +1,9 @@
-# KDE Config File
 [Desktop Entry]
+Value=1.0
+Type=Application
 Name=Proof General
 Comment=Interface to Proof Assistants
-Type=Application
-Exec=proofgeneral
 Icon=pgicon.png
-Terminal=0
+Exec=proofgeneral
+Terminal=false
+Categories=Development;Math;
-- 
cgit v1.2.3