Minor improvements of the coqide.desktop file.
Samuel Mimram
17 years ago
|
0 |
coq (8.0pl3+8.1beta.2-2) UNRELEASED; urgency=low
|
|
1 |
|
|
2 |
* Minor improvements of the coqide.desktop file, closes: #383310.
|
|
3 |
|
|
4 |
-- Samuel Mimram <smimram@debian.org> Wed, 16 Aug 2006 16:00:27 +0200
|
|
5 |
|
| 0 | 6 |
coq (8.0pl3+8.1beta.2-1) experimental; urgency=low
|
| 1 | 7 |
|
| 2 | 8 |
* New upstream beta release.
|
| 0 | 0 |
[Desktop Entry]
|
| 1 | 1 |
Encoding=UTF-8
|
| 2 | |
Name=CoqIDE
|
|
2 |
Name=CoqIDE Proof Assistant
|
| 3 | 3 |
Comment=Graphical interface for the Coq proof assistant
|
| 4 | |
Exec=/usr/bin/coqide
|
|
4 |
Exec=coqide
|
| 5 | 5 |
Type=Application
|
| 6 | 6 |
Categories=Application;Development;Science;Math;IDE;GTK;
|
| 7 | 7 |
Terminal=false
|
| 8 | |
Icon=coq.xpm
|
|
8 |
Icon=coq
|