From: Jan Rękorajski <baggins@pld-linux.org>
Date: Thu, 7 Apr 2011 21:41:46 +0000 (+0000)
Subject: - desktop file for coqide
X-Git-Tag: auto/th/coq-8_3pl1-1~11
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fcoq.git;a=commitdiff_plain;h=ba4e381843553d456955d1f6b5ef8eb00cc4b0f5;hp=1c1094bcafbacd90cd65d435d71b1b1dd2135d2e

- desktop file for coqide

Changed files:
    coqide.desktop -> 1.1
---

diff --git a/coqide.desktop b/coqide.desktop
new file mode 100644
index 0000000..4acf016
--- /dev/null
+++ b/coqide.desktop
@@ -0,0 +1,8 @@
+[Desktop Entry]
+Name=CoqIDE Proof Assistant
+Comment=Graphical interface for the Coq proof assistant
+Exec=coqide
+Type=Application
+Categories=Development;Science;Math;IDE;GTK;
+Terminal=false
+Icon=coqide