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

diff -r 45c5095d3774 -r 711958b67779 index.html
--- a/index.html	Tue Jul 30 11:09:46 2019 +0100
+++ b/index.html	Tue Jul 30 11:18:37 2019 +0100
@@ -219,7 +219,7 @@
 <A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Prof. Helmut Schwichtenberg</A>.
 Since 2006 this work is supported by an
 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> 
-<A HREF="http://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/in_brief/index.html">fellowship</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.