projects / packages / coq.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
- icon for coqide desktop entry
[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
The Coq Proof Assistant
This page took 0.035806 seconds and 3 git commands to generate.