# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1331806394 0
# Node ID 3a2a47f967d48c45a3ac2d5dd06ff3f2a8ad6042
# Parent  907b1fff563752bf8d75d1d73d43cd5f8a0e620e
updated

diff -r 907b1fff5637 -r 3a2a47f967d4 index.html
--- a/index.html	Thu Mar 15 10:07:28 2012 +0000
+++ b/index.html	Thu Mar 15 10:13:14 2012 +0000
@@ -268,9 +268,9 @@
 <B>Forum</B> 
 I implemented Forum, a programming language based on classical linear logic, 
 as my M.Phil. thesis. This was joint work with 
-<A HREF="http://www.inf.st-and.ac.uk/~rd/">Dr Roy Dyckhoff</A>. 
+<A HREF="http://www.cs.st-andrews.ac.uk/~rd/">Dr Roy Dyckhoff</A>. 
 Details can be found  
-<A HREF="http://www.inf.st-and.ac.uk/~rd/logic/nonmac/">here</A> and
+<A HREF="http://www.cs.st-andrews.ac.uk/~rd/logic/nonmac/">here</A> and
 <A HREF="http://www.lix.polytechnique.fr/Labo/Dale.Miller/forum/">here</A>. During my
 M.Phil study I spent one month in Philadelphia invited by 
 <A HREF="http://www.lix.polytechnique.fr/~dale/">Prof. Dale Miller</A>.