From a3ff01589eb61b2bf7158247a306f90be43daa47 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sat, 28 Feb 2004 17:08:50 +0000
Subject: New files.

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

(limited to 'etc/desktop/proofgeneral.desktop')

diff --git a/etc/desktop/proofgeneral.desktop b/etc/desktop/proofgeneral.desktop
new file mode 100644
index 00000000..c072935d
--- /dev/null
+++ b/etc/desktop/proofgeneral.desktop
@@ -0,0 +1,11 @@
+[Desktop Entry]
+Name=Proof General
+Comment=Organise Your Proofs!
+Exec=proofgeneral %F
+Icon=proofgeneral.png
+Terminal=false
+Type=Application
+Encoding=UTF-8
+Categories=Application;Development;TextEditor
+StartupWMClass=Emacs
+
-- 
cgit v1.2.3