# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1371298061 14400
# Node ID ef7bedc969d313861969484dbb25d90a957c7b48
# Parent  b3b67c7cbb8bb9b64b87a11d0644faad51ee81c8
tuned

diff -r b3b67c7cbb8b -r ef7bedc969d3 index.html
--- a/index.html	Sat Jun 15 07:50:06 2013 -0400
+++ b/index.html	Sat Jun 15 08:07:41 2013 -0400
@@ -164,7 +164,7 @@
 <TD BGCOLOR="#FFFFFF" WIDTH="75%">
 <B>Nominal Isabelle</B> 
 I currently work on Nominal 
-<A HREF="http://isabelle.in.tum.de">Isabelle</A>. This is joint work with 
+<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="https://www.lri.fr/~wenzel/">Dr Markus Wenzel</A>,
 <A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Dr Cezary Kaliszyk</A>,