Preferences: File Associations

This is a list of settings that determines which prover Proof General should start for each file-type that it handles. Note that editing this does ''not'' change which file-types get passed to Proof General by Eclipse. That can only be changed by editing the plugin.xml file.

The list is of the form File-Name-Extension=Prover-Name. E.g. ".thy=Isabelle".