Andrew Overholt <overholt at ...> 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?