diff -r c3c3cfc278d1 -r 12875eafece3 teaching.html --- a/teaching.html Tue Apr 16 00:22:46 2013 +0100 +++ b/teaching.html Thu Apr 18 07:53:41 2013 +0100 @@ -37,7 +37,7 @@