Andrew Overholt <overholt@...> writes:
> TPTP.  Official Eclipse component. Not available in Fedora or
If you packaged this, you'd be my hero (at least for the month of
Sorry, but I doubt I'll be able to help out with that. What work has been made
on TPTP already, and what remains?