[hyades-dev] *NOTICE: Transition to new TPTP mailing lists*

[WebMaster <webmaster@xxxxxxxxxxx>]

*NOTICE: Transition to new TPTP mailing lists*

Toward completing our restructuring of Hyades into the TPTP Project,
we are migrating to a new set of project mailing lists as described 
below to replace the hyades-dev mailing list.  We have automatically
subscribed users of hyades-dev to these new mailing lists to ensure no
missed messages.  An archive of hyades-dev will be maintained and is
accessible via the Eclipse mailing list page
<http://www.eclipse.org/mail/index.html>.


New TPTP mailing lists:


tptp-pmc <http://dev.eclipse.org/mailman/listinfo/tptp-pmc>

This PMC communications mailing list is for discussions of the
TPTP Project PMC including project announcements, cross-project
coordination, and activities of the project Marketing, Requirements,
Architecture, and Planning Groups.  While this list is open to the
public, it is intended for use by project PMC and Group members
contributing to day-to-day leadership and coordination of the project.

Questions and discussions about using the project and project-based
tools should be posted to the eclipse.tptp
<news://news.eclipse.org/eclipse.tptp> newsgroup.


tptp-platform-dev
<http://dev.eclipse.org/mailman/listinfo/tptp-platform-dev>

This development mailing list is for discussions of the TPTP
Platform Project development matters.  While this list is open to the
public, it is intended for use by project developers working on or
otherwise contributing to day-to-day development of the project
including, e.g., discussing design and implementation issues,
proposing API changes, and voting on decisions by the Committers.

Technical questions and discussions about using the project and 
project-based tools should be posted to the eclipse.tptp
<news://news.eclipse.org/eclipse.tptp> newsgroup.


tptp-testing-tools-dev
<http://dev.eclipse.org/mailman/listinfo/tptp-testing-tools-dev>

This development mailing list is for discussions of the TPTP
Testing Tools Project development matters.  While this list is open to
the public, it is intended for use by project developers working on or
otherwise contributing to day-to-day development of the project
including, e.g., discussing design and implementation issues,
proposing API changes, and voting on decisions by the Committers.

Technical questions and discussions about using the project and 
project-based tools should be posted to the eclipse.tptp
<news://news.eclipse.org/eclipse.tptp> newsgroup.




tptp-tracing-profiling-tools-dev
<http://dev.eclipse.org/mailman/listinfo/tptp-tracing-profiling-tools-dev> 


This development mailing list is for discussions of the TPTP
Tracing and Profiling Tools Project development matters.  While this
list is open to the public, it is intended for use by project
developers working on or otherwise contributing to day-to-day 
development of the
project including, e.g., discussing design and implementation issues,
proposing API changes, and voting on decisions by the Committers.

Technical questions and discussions about using the project and
project-based tools should be posted to the eclipse.tptp
<news://news.eclipse.org/eclipse.tptp> newsgroup.


tptp-monitoring-tools-dev
<http://dev.eclipse.org/mailman/listinfo/tptp-monitoring-tools-dev>

This development mailing list is for discussions of the TPTP
Monitoring Tools Project development matters.  While this list is open
to the public, it is intended for use by project developers working on
or otherwise contributing to day-to-day development of the project
including, e.g., discussing design and implementation issues,
proposing API changes, and voting on decisions by the Committers.

Technical questions and discussions about using the project and 
project-based tools should be posted to the eclipse.tptp
<news://news.eclipse.org/eclipse.tptp> newsgroup.



--

Eclipse WebMaster - webmaster@xxxxxxxxxxx
Questions? Consult the FAQ at http://www.eclipse.org/webmaster/faq.html
View my status at http://www.eclipse.org/webmaster/main.html