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]
Encoding=UTF-8
-Name=CoqIde
+Name=CoqIde Proof Assistant
Comment=Graphical interface for the Coq proof assistant
-Exec=/usr/bin/coqide
+Exec=coqide
Type=Application
-Categories=GTK;Science;Math;
+Categories=GTK;Science;Math;Application;
Terminal=false
-Icon=/usr/share/pixmaps/coq.xpm
+Icon=coq