Yes - TPTP is dead.
/max
On Mar 30, 2011, at 24:53, Denis Golovin wrote:
> 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
>>
/max
http://about.me/maxandersen
_______________________________________________
jbosstools-dev mailing list
jbosstools-dev(a)lists.jboss.org
https://lists.jboss.org/mailman/listinfo/jbosstools-dev