proofgeneral
	command=proofgeneral
	name=Proof General
	can_open_multiple_files=true
	expects_uris=false
	requires_terminal=false
	mime_types=application/x-proofgeneral