Attending: Kathy, Jonathan, Ernest, Oliver
- 11/15 meeting minutes accepted.
- 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.