[packages/alt-ergo.git] / alt-ergo.desktop

[Desktop Entry]
Name=Alt-Ergo
GenericName=theorem prover
Comment=Automated theorem prover
Exec=altgr-ergo %F
Terminal=false
Type=Application
Categories=Development;Debugger;
Commit	Line	Data
0b802026 JR	1	[Desktop Entry]
	2	Name=Alt-Ergo
	3	GenericName=theorem prover
	4	Comment=Automated theorem prover
	5	Exec=altgr-ergo %F
	6	Terminal=false
	7	Type=Application
	8	Categories=Development;Debugger;