# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1564482092 -3600
# Node ID 9f1f8b6510a3424a81de1339ed5ab6fc69c41b00
# Parent  711958b67779e6282abe016de8c8c17d8abd051a
updated

diff -r 711958b67779 -r 9f1f8b6510a3 index.html
--- a/index.html	Tue Jul 30 11:18:37 2019 +0100
+++ b/index.html	Tue Jul 30 11:21:32 2019 +0100
@@ -220,9 +220,8 @@
 Since 2006 this work is supported by an
 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> 
 <A HREF="https://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/">fellowship</A>.
-There is a <A HREF="https://nms.kcl.ac.uk/christian.urban/Nominal/">webpage</A> and a
-<A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> 
-about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle.
+There is a <A HREF="https://nms.kcl.ac.uk/christian.urban/Nominal/">webpage</A> about Nominal
+Isabelle. It also includes a list of projects that use Nominal Isabelle.
 Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM,
 the Haskell Symposium and
 in the Journal of Automated Reasoning.