Hi, I'm looking at integrating a tool that collects profiling data with the TPTP framework. In TPTP lingo, I'd like to make this tool a data collection agent. I had a read over the document, "How to write a TPTP Data Collection Agent (Last Update: Jan 20, 2005)" [1]. Is this the most current documentation? Is there anything else I should be aware of?
Thanks, Jeremy [1] http://www.eclipse.org/tptp/platform/documents/drafts/HowtowriteaTPTPDataCollectionAgent.htm _______________________________________________ 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