add itree-program-logic paper

[web.git] / personal / index.html

diff --git a/personal/index.html b/personal/index.html
index 0d66b23fe0dcc3fc3b53f22ac9f1c4e5004c6af4..35e7a57f9e1074f3bd5c962a742d41b4fcd67418 100644 (file)
--- a/personal/index.html
+++ b/personal/index.html
@@ -12,7 +12,6 @@ On this machine I maintain several services which are part of modern life, and w
     <li><a href="mailto:post-AT-ralfj-DOT-de">E-Mail</a>,</li>
     <li>Jabber (also see <a href="https://en.wikipedia.org/wiki/Extensible_Messaging_and_Presence_Protocol" target="_blank">the Wikipedia article about Jabber</a>),</li>
     <li><a href="https://git.ralfj.de/">Git repositories</a>,</li>
     <li><a href="mailto:post-AT-ralfj-DOT-de">E-Mail</a>,</li>
     <li>Jabber (also see <a href="https://en.wikipedia.org/wiki/Extensible_Messaging_and_Presence_Protocol" target="_blank">the Wikipedia article about Jabber</a>),</li>
     <li><a href="https://git.ralfj.de/">Git repositories</a>,</li>

-    <li><a href="https://lists.ralfj.de/">Mailing lists</a>,</li>

     <li>a DNS server (incl. DynDNS and DNSSEC),</li>
     <li>and more.</li>
 </ul>
     <li>a DNS server (incl. DynDNS and DNSSEC),</li>
     <li>and more.</li>
 </ul>


@@ -45,7 +44,6 @@ Auf dieser Maschine laufen diverse Dienste, die zum modernen Alltag gehören, un
     <li><a href="mailto:post-ÄT-ralfj-PUNKT-de">E-Mail</a>,</li>
     <li>Jabber (siehe auch <a href="https://de.wikipedia.org/wiki/Extensible_Messaging_and_Presence_Protocol" target="_blank">den Wikipedia-Artikel zu Jabber</a>),</li>
     <li><a href="https://git.ralfj.de/">Git-Repositories</a>,</li>
     <li><a href="mailto:post-ÄT-ralfj-PUNKT-de">E-Mail</a>,</li>
     <li>Jabber (siehe auch <a href="https://de.wikipedia.org/wiki/Extensible_Messaging_and_Presence_Protocol" target="_blank">den Wikipedia-Artikel zu Jabber</a>),</li>
     <li><a href="https://git.ralfj.de/">Git-Repositories</a>,</li>

-    <li><a href="https://lists.ralfj.de/">Mailing-Listen</a>,</li>

     <li>ein DNS-Server (inkl. DynDNS und DNSSEC),</li>
     <li>und einiges mehr.</li>
 </ul>
     <li>ein DNS-Server (inkl. DynDNS und DNSSEC),</li>
     <li>und einiges mehr.</li>
 </ul>