From ba2e7a044501740e77b645cebe8eed3c0200b778 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 10:22:12 +0000
Subject: Desktop file for KDE.

---
 etc/ProofGeneral.desktop | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 etc/ProofGeneral.desktop

diff --git a/etc/ProofGeneral.desktop b/etc/ProofGeneral.desktop
new file mode 100644
index 00000000..93594ac4
--- /dev/null
+++ b/etc/ProofGeneral.desktop
@@ -0,0 +1,8 @@
+# KDE Config File
+[Desktop Entry]
+Name=Proof General
+Comment=Interface to Proof Assistants
+Type=Application
+Exec=proofgeneral
+Icon=pgicon.png
+Terminal=0
-- 
cgit v1.2.3