[packages/coq.git] / coqide.desktop

[Desktop Entry]
Name=CoqIDE Proof Assistant
Comment=Graphical interface for the Coq proof assistant
Exec=coqide
Type=Application
Categories=Development;Science;Math;IDE;GTK;
Terminal=false
Icon=coqide
Commit	Line	Data
	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