diff options
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; |