Re: TPTP

From: Lachlan Deck (lachlan.dec..mail.com)
Date: Mon May 21 2007 - 09:14:18 EDT

  • Next message: Johan Henselmans: "Re: Still learning: eogenerator Failed with error code 133, then EntityModeler perspective disappears"

    On 21/05/2007, at 10:33 PM, Mike Schrag wrote:

    > Maybe we can make a separate feature for it, so you can just check
    > "WOLips" and get everything but that, but you can also check WOLips
    > TPTP ...

    Sounds fine. Perhaps either profilers ought to be like that.

    > On May 21, 2007, at 8:18 AM, Ulrich Köster wrote:
    >
    >> +1
    >>
    >> uli
    >> Am 21.05.2007 um 13:34 schrieb Mike Schrag:
    >>
    >>> Since there is no TPTP build on OSX, is everyone OK if I make the
    >>> TPTP plugins win-only in the site file?
    >>>
    >>> ms

    with regards,

    --
    

    Lachlan Deck



    This archive was generated by hypermail 2.0.0 : Mon May 21 2007 - 09:15:18 EDT