wiki:TracAndMylyn

Version 3 (modified by Graham Dutton, 17 years ago) (diff)

used interwiki syntax

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