Re: WO profiling w/Eclipse? -> TPTP

From: Lachlan Deck (lachlan.dec..mail.com)
Date: Sun Apr 08 2007 - 22:25:02 EDT

Next message: Ulrich Köster: "Re: maven-wolifecycle-patch"

Previous message: Dave .: "WOLips WO Frameworks not being recognised"
Next in thread: John Huss: "Re: WO profiling w/Eclipse? -> TPTP"
Reply: John Huss: "Re: WO profiling w/Eclipse? -> TPTP"
Reply: Ken Anderson: "Re: WO profiling w/Eclipse? -> TPTP"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi there,

On 26/09/2006, at 7:34 PM, Ulrich Köster wrote:

> Support for TPTP is included in the dist.

TPTP doesn't seem to be supported on Mac OS X. i.e., the agent
controller doesn't seem to be available.

Has anyone got TPTP working on Mac OS X? If so how?

with regards,

--

Lachlan Deck

Next message: Ulrich Köster: "Re: maven-wolifecycle-patch"
Previous message: Dave .: "WOLips WO Frameworks not being recognised"
Next in thread: John Huss: "Re: WO profiling w/Eclipse? -> TPTP"
Reply: John Huss: "Re: WO profiling w/Eclipse? -> TPTP"
Reply: Ken Anderson: "Re: WO profiling w/Eclipse? -> TPTP"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2.0.0 : Sun Apr 08 2007 - 22:25:19 EDT