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, Jerome

  • 12/06 meeting minutes accepted.

Development Discussion

  • TPTP 4.7.2
    • TPTP 4.7.2 test pass completed on December 22 with 100% attempted and 98.6% success.
    • Winding down TPTP 4.7.2. Will drop for RC1 this week. PMC approval starts January 24.
    • Confirmed with Jerome that he has no other defects currently in plan for TPTP 4.7.2.
    • Kathy will update the version number of plugins and features for all subprojects for TPTP 4.7.2.


  • TPTP long term plan
    • Will start archival process after TPTP 4.7.2 is released in end of February.
  • Next PMC meeting is February 7 10:15 to 10:45 EST.

Back to the top