Max,

TPTP project web site http://www.eclipse.org/tptp/home/downloads/ says: "TPTP will not be in the Eclipse Indigo release".
Should we archive our TPTP component and move it to legacy component?

Denis

On 03/29/2011 02:27 AM, Max Rydahl Andersen wrote: 
Nick,


Nick will send out info on how you can get the proper bits for Eclipse 3.7 development and info on 
when the merge is done.


I'm coming out of my jetlag, haven't seen a follow up on this yet in the mail stream.

What is the status of the merge ?

/max


_______________________________________________
jbosstools-dev mailing list
jbosstools-dev@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/jbosstools-dev