See the following section of the Proof General Wiki for full instructions on connection Eclipse to this Trac using the Mylyn plugin:
Last modified 17 years ago
Last modified on Jul 20, 2007, 11:39:55 AM
See the following section of the Proof General Wiki for full instructions on connection Eclipse to this Trac using the Mylyn plugin: