Difference between revisions of "Termtools"

From Termination-Portal.org

Revision as of 17:33, 7 July 2015

The Termtools mailing list has been installed to facilitate discussion about termination tools in general and the termination competition in particular. You can subscribe via the list info page. The list has an archive.

Revision as of 13:44, 29 March 2008 (view source) Admin (talk \| contribs) (New page: The [mailto:termtools@lists.lri.fr Termtools mailing list] has been installed to facilitate discussion about termination tools in general and the [[Termination Competit...)		Revision as of 17:33, 7 July 2015 (view source) J.waldmann (talk \| contribs) Newer edit →
Line 1:		Line 1:
−	The ~~[mailto:termtools@lists.lri.fr~~ Termtools mailing list] has been installed to facilitate discussion about [[:Category:Tools\|termination tools]] in general and the [[Termination Competition\|termination competition]] in particular. You can subscribe via the [http://lists.lri.fr/mailman/listinfo/termtools list info page].	+	The Termtools mailing list has been installed to facilitate discussion about [[:Category:Tools\|termination tools]] in general and the [[Termination Competition\|termination competition]] in particular. You can subscribe via the [http://lists.lri.fr/mailman/listinfo/termtools list info page]. The list has an [http://lists.lri.fr/pipermail/termtools/ archive].