<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Max,<br>
<br>
TPTP project web site <a class="moz-txt-link-freetext" href="http://www.eclipse.org/tptp/home/downloads/">http://www.eclipse.org/tptp/home/downloads/</a>
says: "<font color="red" size="+1"><b>TPTP will not be in the
Eclipse Indigo release".<br>
</b></font>Should we archive our TPTP component and move it to
legacy component?<br>
<br>
Denis<br>
<br>
On 03/29/2011 02:27 AM, Max Rydahl Andersen wrote:
<blockquote
cite="mid:88B5E653-4C2C-4BD9-8338-94514EF27D83@redhat.com"
type="cite">
<pre wrap="">Nick,
</pre>
<blockquote type="cite">
<pre wrap="">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.
</pre>
</blockquote>
<pre wrap="">
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
<a class="moz-txt-link-abbreviated" href="mailto:jbosstools-dev@lists.jboss.org">jbosstools-dev@lists.jboss.org</a>
<a class="moz-txt-link-freetext" href="https://lists.jboss.org/mailman/listinfo/jbosstools-dev">https://lists.jboss.org/mailman/listinfo/jbosstools-dev</a>
</pre>
</blockquote>
<br>
</body>
</html>