]> git.pld-linux.org Git - packages/coq.git/blob - coqide.desktop
projects / packages / coq.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
- rel 2
[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.061744 seconds and 3 git commands to generate.