Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[tools-pmc] Time to terminate TPTP

Greetings PMC.

We've had a good run, but there has been no activity on TPTP in a very long time and it seems like it's time to shut the doors.

Can I get your approval for both the termination and the corresponding documentation?

The documentation is a bit terse. I can add more if you feel that there is a need.

Wayne Beaton
The Eclipse Foundation
          France 2016

Back to the top