/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
|