packages: coq/coqide.desktop (NEW) - desktop file for coqide

[baggins]

Author: baggins                      Date: Thu Apr  7 21:41:51 2011 GMT
Module: packages                      Tag: HEAD
---- Log message:
- desktop file for coqide

---- Files affected:
packages/coq:
   coqide.desktop (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: packages/coq/coqide.desktop
diff -u /dev/null packages/coq/coqide.desktop:1.1
--- /dev/null	Thu Apr  7 23:41:51 2011
+++ packages/coq/coqide.desktop	Thu Apr  7 23:41:46 2011
@@ -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
================================================================