]>
Commit | Line | Data |
---|---|---|
ba4e3818 JR |
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 |