[Pkg-ocaml-maint-commits] r3010 - in /trunk/packages/coq/branches/8.1/debian: changelog coqide.desktop

[smimram at users.alioth.debian.org]

Author: smimram
Date: Wed Aug 16 14:01:42 2006
New Revision: 3010

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3010
Log:
Minor improvements of the coqide.desktop file.

Modified:
    trunk/packages/coq/branches/8.1/debian/changelog
    trunk/packages/coq/branches/8.1/debian/coqide.desktop

Modified: trunk/packages/coq/branches/8.1/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/changelog?rev=3010&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/changelog (original)
+++ trunk/packages/coq/branches/8.1/debian/changelog Wed Aug 16 14:01:42 2006
@@ -1,3 +1,9 @@
+coq (8.0pl3+8.1beta.2-2) UNRELEASED; urgency=low
+
+  * Minor improvements of the coqide.desktop file, closes: #383310.
+
+ -- Samuel Mimram <smimram at debian.org>  Wed, 16 Aug 2006 16:00:27 +0200
+
 coq (8.0pl3+8.1beta.2-1) experimental; urgency=low
 
   * New upstream beta release.

Modified: trunk/packages/coq/branches/8.1/debian/coqide.desktop
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/coq/branches/8.1/debian/coqide.desktop?rev=3010&op=diff
==============================================================================
--- trunk/packages/coq/branches/8.1/debian/coqide.desktop (original)
+++ trunk/packages/coq/branches/8.1/debian/coqide.desktop Wed Aug 16 14:01:42 2006
@@ -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=Application;Development;Science;Math;IDE;GTK;
 Terminal=false
-Icon=coq.xpm
+Icon=coq