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 ================================================================ _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
