See the following section of the Proof General Wiki for full instructions on connection Eclipse to this Trac using the Mylyn plugin:

 PGWiki:PGEclipseSources#Connecting_to_Proof_General_Trac