blob: 7427911bf7fa98a3eae88a96c700df279ac1a771 (
plain)
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
|