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