Plan for upcoming TPTP releases

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Plan for upcoming TPTP releases

Kathy Chan

Hi,

Please refer to the following URL for the PMC approved plan for upcoming TPTP releases:

        http://www.eclipse.org/tptp/home/project_info/devplans/EclipseTPTPProjectPlan2010.htm

Please note that there are significant changes proposed in the plan that would affect all users and adopters of TPTP.  Please make sure to take a look at the plan and let us know if you have any questions or concerns.  More details will be posted in that document over the next few months as we work through the plan.

Thanks!

Regards,
Kathy Chan
IBM Canada Lab

[hidden email]

_______________________________________________
tptp-monitoring-tools-dev mailing list
[hidden email]
https://dev.eclipse.org/mailman/listinfo/tptp-monitoring-tools-dev