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

diff -r ae982b0b2ffd -r 45c5095d3774 index.html
--- a/index.html	Tue Jul 30 11:03:57 2019 +0100
+++ b/index.html	Tue Jul 30 11:09:46 2019 +0100
@@ -202,7 +202,7 @@
 <B>Nominal Isabelle</B> 
 I currently work on Nominal 
 <A HREF="http://isabelle.in.tum.de">Isabelle</A> 2. This is joint work with 
-<A HREF="http://wwwbroy.in.tum.de/~berghofe/">Dr Stefan Berghofer</A>,
+<A HREF="http://www21.in.tum.de/~berghofe/">Dr Stefan Berghofer</A>,
 <A HREF="http://sketis.net/">Dr Markus Wenzel</A>,
 <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Dr Cezary Kaliszyk</A>,
 <A HREF="http://user.it.uu.se/~tjawe125/">Dr Tjark Weber</A> and