- desktop file for coqide

Changed files:
    coqide.desktop -> 1.1

diff --git a/coqide.desktop b/coqide.desktop
new file mode 100644 (file)
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