I've been using JProfiler with great success...
On Apr 8, 2007, at 10:25 PM, Lachlan Deck wrote:
> 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
>
>
>
This archive was generated by hypermail 2.0.0 : Mon Apr 09 2007 - 12:08:51 EDT