- desktop file for coqide
authorJan Rękorajski <baggins@pld-linux.org>
Thu, 7 Apr 2011 21:41:46 +0000 (21:41 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    coqide.desktop -> 1.1

coqide.desktop [new file with mode: 0644]

diff --git a/coqide.desktop b/coqide.desktop
new file mode 100644 (file)
index 0000000..4acf016
--- /dev/null
@@ -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
This page took 0.030464 seconds and 4 git commands to generate.