This file is indexed.

/usr/share/mime-info/proofgeneral.keys is in proofgeneral 4.3~pre131011-0.2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
application/x-proofgeneral:
	description=Proof General theorem prover file
	open=proofgeneral %f
	view=proofgeneral %f
	icon-filename=/usr/share/pixmaps/proofgeneral.png
	short_list_application_ids=mrproject
	short_list_application_ids_for_novice_user_level=mrproject
	short_list_application_ids_for_intermediate_user_level=mrproject
	short_list_application_ids_for_advanced_user_level=mrproject
	category=Documents/Theorem Prover