Why am I not surprised you have a crazy setup :)
ms
On May 21, 2007, at 7:56 AM, Lachlan Deck wrote:
> On 21/05/2007, at 9:34 PM, Mike Schrag wrote:
>
>> Since there is no TPTP build on OSX, is everyone OK if I make the
>> TPTP plugins win-only in the site file?
>
> Except that it's possible to take advantage of a networked agent
> controller. (which we have).
>
> with regards,
> --
>
> Lachlan Deck
>
>
>
This archive was generated by hypermail 2.0.0 : Mon May 21 2007 - 08:01:45 EDT