TPTP

From Eclipsepedia

Jump to: navigation, search

These wiki pages are used to list the TPTP development discussions and other documents intended for the TPTP development team. For information on project content and download information please visit the TPTP home page http://www.eclipse.org/tptp/

Quicklinks

Resource Description
TPTP home page Look here for information about TPTP projects, user resources and participation.
Meetings

[Template]

Mailing list and news groups Go here to participate in discussions relating to the TPTP Project.
TPTP sandbox There are always great ideas that don't get into the plan due to resource limitations or different project priorities at that specific moment. Things like line level coverage or TPTP support for other than Java.
  • Contribute to the project by adding here any items you would like to see discussed and/or implemented within the TPTP project. We'll use this page as a sandbox for experimenting with new ideas and trying to promote them to the main stream.
Miscellaneous

This page provides a list of TPTP specific wiki items:

  • [[Archiving the �Monitoring Tools Project|Archiving the �Monitoring Tools Project]]
TPTP Project Ramp Down Policy
4.5 Schedules Release Weekly Schedules
TPTP User Experiences

Capturing User Experiences with TPTP

NEW TPTP Profiling Initiative A quick start guide for TPTP Profiling support
TPTP Tests
NEW Profile On Server
NEW Profiler Internal
NEW MAC OS