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".
This topic: PG
> PGEclipsePrefsProofgeneralprefsassoclist
Topic revision: r1 - 24 Aug 2006 - 00:18:07 -
DavidAspinall