Changes between Version 2 and Version 3 of TracAndMylyn


Ignore:
Timestamp:
Jul 20, 2007, 11:39:55 AM (17 years ago)
Author:
Graham Dutton
Comment:

used interwiki syntax

Legend:

Unmodified
Added
Removed
Modified

  • TracAndMylyn

    v2 v3  
    11See the following section of the Proof General Wiki for full instructions on connection Eclipse to this Trac using the Mylyn plugin:
    22
    3  http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEclipseSources#Connecting_to_Proof_General_Trac
     3 PGWiki:PGEclipseSources#Connecting_to_Proof_General_Trac