Are there any documents available on the TPTP data encapsulation format? Thanks
-- View this message in context: http://www.nabble.com/DIME-headers-in-TPTP-tp25722073p25754744.html Sent from the Eclipse - Tracing and Profiling Tools - Dev mailing list archive at Nabble.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
