blob: 1515c273b46722c44155f535415251e3de112032 (
plain)
1
2
3
4
5
6
7
8
9
|
[Desktop Entry]
Encoding=UTF-8
Name=CoqIde
Comment=Graphical interface for the Coq proof assistant
Exec=/usr/bin/coqide
Type=Application
Categories=GTK;Science;Math;
Terminal=false
Icon=/usr/share/pixmaps/coq.xpm
|