Thanks Eugene Chan for reminding me to use Eclipse3.2M5a, with which TPTP4.2 are perfectly running.
Ye Liang _______________________________________________ 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
