[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#383310: coqide .desktop fixes

Package: coq
Version :8.0pl3-2
Severity: minor

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 @@
 [Desktop Entry]
+Name=CoqIde Proof Assistant
 Comment=Graphical interface for the Coq proof assistant

Reply to: