diff options
| author |   Olivier Fisette <ribosome@gentoo.org> | 2004-12-28 05:03:02 +0000 |
|---|---|---|
| committer | Olivier Fisette <ribosome@gentoo.org> | 2004-12-28 05:03:02 +0000 |
| commit | eca88d133ca80a17fa8d8a4497a349fa37fe834b (patch) | |
| tree | e970f178256ba5ddf9bcbd0895bace35e0ec8f37 /sci-mathematics/coq/files/coqide.desktop | |
| parent | Moving to sci-mathematics/coq (diff) | |
| download | historical-eca88d133ca80a17fa8d8a4497a349fa37fe834b.tar.gz historical-eca88d133ca80a17fa8d8a4497a349fa37fe834b.tar.bz2 historical-eca88d133ca80a17fa8d8a4497a349fa37fe834b.zip | |
Moved from app-sci/coq to sci-mathematics/coq.
Diffstat (limited to 'sci-mathematics/coq/files/coqide.desktop')
| -rw-r--r-- | sci-mathematics/coq/files/coqide.desktop | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sci-mathematics/coq/files/coqide.desktop b/sci-mathematics/coq/files/coqide.desktop new file mode 100644 index 000000000000..08b5b6918cd0 --- /dev/null +++ b/sci-mathematics/coq/files/coqide.desktop @@ -0,0 +1,10 @@ +[Desktop Entry] +Encoding=UTF-8 +Comment=Coq integrated developpment environment +Icon=/usr/lib/coq/ide/coq.png +Exec=/usr/bin/coqide +Name=CoqIDE +GenericName=Coq IDE +Terminal=false +Type=Application +Categories=Application;Edutainment;Mathematics; |