# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1425257622 0
# Node ID 16b8335d1cce423ee9267f0b113b581612709a61
# Parent  5dd0f22bd36cc860f09063981884e45cf9f6d30a# Parent  3c0e119f5caa6c1e812e33ed13e13f4d3e9369df
updated

diff -r 5dd0f22bd36c -r 16b8335d1cce cgi-bin/repos.cgi
--- a/cgi-bin/repos.cgi	Mon Mar 02 00:52:42 2015 +0000
+++ b/cgi-bin/repos.cgi	Mon Mar 02 00:53:42 2015 +0000
@@ -4,7 +4,7 @@
 
 # adjust python path if not a system-wide install:
 import sys
-sys.path.insert(0, "/usr/lib64/python3.1/site-packages")
+sys.path.append("/usr/local/lib/python2.7/site-packages/")
 
 # enable importing on demand to reduce startup time
 from mercurial import demandimport; demandimport.enable()
diff -r 5dd0f22bd36c -r 16b8335d1cce index.html
--- a/index.html	Mon Mar 02 00:52:42 2015 +0000
+++ b/index.html	Mon Mar 02 00:53:42 2015 +0000
@@ -286,7 +286,7 @@
 <A HREF="http://www.cl.cam.ac.uk">Computer Laboratory</A>
 and for three years 
 called Gonville and Caius College my home. I was very lucky to have   
-<A HREF="http://research.microsoft.com/~gmb/">Dr Gavin Bierman</A>
+<A HREF="https://labs.oracle.com/pls/apex/f?p=labs:bio:0:2044">Dr Gavin Bierman</A>
 as supervisor. My research in Cambridge was also very  much influenced by 
 <A HREF="http://www.dpmms.cam.ac.uk/~martin/">Prof. Martin Hyland</A>.
 Some details on my thesis "Classical Logic and Computation" are