- moved emacs and latex stuff to separate packages
[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.041272 seconds and 3 git commands to generate.