Hi Guys, As you might know I'm getting started hacking on a project involving TPTP. I'm just wondering the best way to setup my development environment.
There are a load of modules in CVS and I'm not sure what I need. Would it be more sensible to install all of the TPTP plugins into an Eclipse install and start from there? Thanks in advance! Neil Dunn _______________________________________________ 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
