- updated BRs and files
[packages/coq.git] / coqide.desktop
CommitLineData
ba4e3818
JR
1[Desktop Entry]
2Name=CoqIDE Proof Assistant
3Comment=Graphical interface for the Coq proof assistant
4Exec=coqide
5Type=Application
6Categories=Development;Science;Math;IDE;GTK;
7Terminal=false
8Icon=coqide
This page took 0.060509 seconds and 4 git commands to generate.