http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Termtools 2026-05-04T07:55:05Z Revision history for this page on the wiki MediaWiki 1.34.2 http://termination-portal.org/mediawiki/index.php?title=Termtools&diff=1867&oldid=prev 2020-11-11T21:38:36Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 21:38, 11 November 2020</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>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.  </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>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.  </div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>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 <del class="diffchange diffchange-inline">before </del>November 2020 is [https://verify.rwth-aachen.de/termtools/ here].</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>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 <ins class="diffchange diffchange-inline">up to </ins>November 2020 is [https://verify.rwth-aachen.de/termtools/ here].</div></td></tr> </table>

Giesl http://termination-portal.org/mediawiki/index.php?title=Termtools&diff=1866&oldid=prev 2020-11-11T21:20:40Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 21:20, 11 November 2020</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>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.  </div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>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.  </div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>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 here.</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>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 <ins class="diffchange diffchange-inline">[https://verify.rwth-aachen.de/termtools/ </ins>here<ins class="diffchange diffchange-inline">]</ins>.</div></td></tr> </table>

Giesl http://termination-portal.org/mediawiki/index.php?title=Termtools&diff=1865&oldid=prev 2020-11-11T21:12:20Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 21:12, 11 November 2020</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>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 [<del class="diffchange diffchange-inline">http</del>://lists.<del class="diffchange diffchange-inline">lri</del>.<del class="diffchange diffchange-inline">fr</del>/<del class="diffchange diffchange-inline">mailman</del>/<del class="diffchange diffchange-inline">listinfo</del>/termtools list info page]. The list has an [<del class="diffchange diffchange-inline">http</del>://lists.<del class="diffchange diffchange-inline">lri</del>.<del class="diffchange diffchange-inline">fr</del>/<del class="diffchange diffchange-inline">pipermail</del>/termtools/ archive].</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>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.  </div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>You can subscribe via the [<ins class="diffchange diffchange-inline">https</ins>://lists.<ins class="diffchange diffchange-inline">rwth-aachen</ins>.<ins class="diffchange diffchange-inline">de</ins>/<ins class="diffchange diffchange-inline">postorius</ins>/<ins class="diffchange diffchange-inline">lists</ins>/termtools<ins class="diffchange diffchange-inline">.lists.rwth-aachen.de/ </ins>list info page]. The list has an [<ins class="diffchange diffchange-inline">https</ins>://lists.<ins class="diffchange diffchange-inline">rwth-aachen</ins>.<ins class="diffchange diffchange-inline">de/hyperkitty</ins>/<ins class="diffchange diffchange-inline">list</ins>/termtools<ins class="diffchange diffchange-inline">@lists.rwth-aachen.de</ins>/ archive] <ins class="diffchange diffchange-inline">which contains the e-mails sent from November 2020 onwards. The old archive of the list before November 2020 is here</ins>.</div></td></tr> </table>

Giesl http://termination-portal.org/mediawiki/index.php?title=Termtools&diff=1577&oldid=prev 2015-07-07T17:33:33Z

<p></p> <table class="diff diff-contentalign-left" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 17:33, 7 July 2015</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>The <del class="diffchange diffchange-inline">[mailto:termtools@lists.lri.fr </del>Termtools mailing list<del class="diffchange diffchange-inline">] </del>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].</div></td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>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<ins class="diffchange diffchange-inline">]. The list has an [http://lists.lri.fr/pipermail/termtools/ archive</ins>].</div></td></tr> </table>

J.waldmann http://termination-portal.org/mediawiki/index.php?title=Termtools&diff=123&oldid=prev 2008-03-29T13:44:57Z

<p>New page: The [mailto:termtools@lists.lri.fr Termtools mailing list] has been installed to facilitate discussion about <a href="/wiki/Category:Tools" title="Category:Tools">termination tools</a> in general and the [[Termination Competit...</p> <p><b>New page</b></p><div>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].</div>

Admin