Hi, Now that TPTP 4.7.1 had been released, a TPTP-4_7_1 branch had been created and CVS HEAD can now be used for TPTP 4.7.2 development.
TPTP 4.7.2 will be available on February 25, 2011 as part of the Helios SR2 release. The detail schedule for TPTP 4.7.2 can be found in: http://www.eclipse.org/tptp/home/project_info/releaseinfo/4.7.2/schedule.html TPTP 4.7.2 drivers can be downloaded from: http://www.eclipse.org/tptp/home/downloads/?ver=4.7.2 Regards, Kathy Chan IBM Canada Lab ka...@ca.ibm.com
_______________________________________________ tptp-tracing-profiling-tools-dev mailing list tptp-tracing-profiling-tools-dev@eclipse.org https://dev.eclipse.org/mailman/listinfo/tptp-tracing-profiling-tools-dev
