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

http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEclipseSources#Connecting_to_Proof_General_Trac