diff -r 5c816239deaa -r ca1bed2b025e logic.html
--- a/logic.html	Sun Apr 29 11:29:56 2012 +0100
+++ b/logic.html	Sun Apr 29 14:04:38 2012 +0100
@@ -86,7 +86,7 @@
 <DD><A HREF="http://www-roc.inria.fr/who/Gilles.Dowek/">Gilles Dowek</A></DD>
 <DD><A HREF="http://www.cl.cam.ac.uk/~gw104/">Glynn Winskel</A></DD>
 <DD><A HREF="http://www-users.cs.umn.edu/~gopalan/">Gopalan Nadathur</A></DD>
-<DD><A HREF="http://www.inf.ed.ac.uk/home/gdp/">Gordon Plotkin</A></DD>
+<DD><A HREF="http://homepages.inf.ed.ac.uk/gdp/">Gordon Plotkin</A></DD>
 <DD><A HREF="http://www.mathematik.uni-muenchen.de/~schwicht/">Helmut Schwichtenberg</A></DD>
 <DD><A HREF="http://www.cs.kun.nl/~henk">Henk Barendregt</A></DD>
 <DD><A HREF="http://pauillac.inria.fr/~herbelin/index-eng.html">Hugo Herbelin</A></DD>