Skip to main content

Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: for the plan.

Jump to: navigation, search


Attending: Kathy, Jonathan, Ernest, Oliver

  • 11/15 meeting minutes accepted.

Development Discussion

  • TPTP 4.7.2
    • TPTP 4.7.2 development underway. DCUT December 8. Test pass week of December 13.


  • TPTP long term plan
    • After Kathy sent out another mail to the distribution list and newsgroup with more prominent subject line, posted an entry in the TPTP home page in the News section and add the news announcement in the TPTP download page (for TPTP 4.7.1 and 4.7.2), we had received a few more inquiries about TPTP archiving. Kathy had responded to them.
  • Next PMC meeting is January 5 11:00 to 11:30 EST. The December 13 one is canceled.

Back to the top