]> git.pld-linux.org Git - packages/coq.git/blob - coqide.desktop
- desktop file for coqide
[packages/coq.git] / coqide.desktop
1 [Desktop Entry]
2 Name=CoqIDE Proof Assistant
3 Comment=Graphical interface for the Coq proof assistant
4 Exec=coqide
5 Type=Application
6 Categories=Development;Science;Math;IDE;GTK;
7 Terminal=false
8 Icon=coqide
This page took 0.050541 seconds and 3 git commands to generate.