Dear members of the termtools list,
as Claude already wrote earlier, the termtools list can no longer be hosted
at the lri.fr site. But first of all, a big "thank you" to Claude for
hosting and managing the list for such a long time!
Therefore, the list has now moved to Aachen and consequently, it also has a
new name: termtools(a)lists.rwth-aachen.de
The list info page is:
https://lists.rwth-aachen.de/postorius/lists/termtools.lists.rwth-aachen.de/
All members of the old mailing list have been added to the new mailing
list. So I hope that the transition of the lists will be as smooth as
possible (and maybe the list could also become more active again...). The
new mailing list also has an archive at:
https://lists.rwth-aachen.de/hyperkitty/list/termtools@lists.rwth-aachen.de/
The archive of the old mailing list will remain accessible at:
https://verify.rwth-aachen.de/termtools/
All of this information can also be found in the termination portal at:
http://termination-portal.org/wiki/Termtools
Best Regards
Juergen
