Version 1 (modified by 17 years ago) (diff) | ,
---|
See the following section of the Proof General Wiki for full instructions:
http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEclipseSources#Connecting_to_Proof_General_Trac
Version 1 (modified by 17 years ago) (diff) | ,
---|
See the following section of the Proof General Wiki for full instructions:
http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEclipseSources#Connecting_to_Proof_General_Trac