Skip to main content

Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.

Jump to: navigation, search

Difference between revisions of "TPTP-PMC-20101206"

(New page: 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 we...)
 
 
Line 10: Line 10:
 
*TPTP long term plan  
 
*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.
 
**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 20 one is canceled.
+
*Next PMC meeting is January 5 11:00 to 11:30 EST.  The December 13 one is canceled.

Latest revision as of 16:45, 17 January 2011

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.

Misc

  • 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