Bug#383310: coqide .desktop fixes
This bug was originally reported at http://launchpad.net/bugs/49546 .
The .desktop that comes with coqide does not appear in the menus because of the following bug:
http://launchpad.net/bugs/47426. The .desktop would also benefit from other minor fixes. Attached
is a diff with proposed alterations. Thanks in advance.
The all-new Yahoo! Mail goes wherever you go - free your email address from your Internet provider. http://uk.docs.yahoo.com/nowyoucan.html
--- coqide.old 2006-06-13 10:21:49.000000000 +0300
+++ coqide.desktop 2006-06-13 10:21:34.000000000 +0300
@@ -1,9 +1,9 @@
+Name=CoqIde Proof Assistant
Comment=Graphical interface for the Coq proof assistant