Difference between revisions of "Termtools"

From Termination-Portal.org
Jump to navigationJump to search
 
Line 1: Line 1:
 
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.  
 
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 [https://lists.rwth-aachen.de/postorius/lists/termtools.lists.rwth-aachen.de/ list info page]. The list has an [https://lists.rwth-aachen.de/hyperkitty/list/termtools@lists.rwth-aachen.de/ archive] which contains the e-mails sent from November 2020 onwards. The old archive of the list before November 2020 is [https://verify.rwth-aachen.de/termtools/ here].
+
You can subscribe via the [https://lists.rwth-aachen.de/postorius/lists/termtools.lists.rwth-aachen.de/ list info page]. The list has an [https://lists.rwth-aachen.de/hyperkitty/list/termtools@lists.rwth-aachen.de/ archive] which contains the e-mails sent from November 2020 onwards. The old archive of the list up to November 2020 is [https://verify.rwth-aachen.de/termtools/ here].

Latest revision as of 21:38, 11 November 2020

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 which contains the e-mails sent from November 2020 onwards. The old archive of the list up to November 2020 is here.