I am out of the office until 11/30/2009.
Note: This is an automated response to your message
"[tptp-tracing-profiling-tools-dev] TPTP release shipped in Eclipse Helios
(June 2010) will be called TPTP 4.7 (instead of TPTP 4.6.3)" sent on
11/25/09 14:35:52.
This is the only notification you will receive while this person is away.
_______________________________________________
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
