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 : Sun Apr 08 2007 - 22:25:19 EDT