Eclipse Community Forums - RDF feed
https://www.eclipse.org/forums/
Eclipse Community ForumsTPTP Build-to-Manage is moving to As-Is
https://www.eclipse.org/forums/index.php/mv/msg/158471/500378/#msg_500378
TPTP PMC has decided to move the TPTP Build-to-Manage offerings to As-Is
component starting TPTP release 4.7.0. The component will no longer be
supported by TPTP(for example, defects, newsgroup and mailing lists) . There
is no commitment to triage or resolve open defects.
If you have any concern or question, please feel free to contact me or TPTP
PMC. http://www.eclipse.org/tptp]]>Eugene Chan2009-11-25T20:01:05-00:00