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(a)lists.jboss.org
>
https://lists.jboss.org/mailman/listinfo/jbosstools-dev