# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1434896977 -3600
# Node ID 42f898753f63e06a7fdbedaa34a0c6774a9a29f5
# Parent  f0db9889b48da94a18636af8e04c4383d8cac39f
updated

diff -r f0db9889b48d -r 42f898753f63 index.html
--- a/index.html	Sun Jun 21 15:10:54 2015 +0100
+++ b/index.html	Sun Jun 21 15:29:37 2015 +0100
@@ -128,7 +128,8 @@
 Service (<A HREF="http://www.daad.de/index.html">DAAD</A>).
 <P>
 
-<B>Skolem Award</B> Together with Christine Tasson I was awarded a
+<B>Skolem Award</B> Together with
+<A HREF="http://www.pps.univ-paris-diderot.fr/~tasson/">Christine Tasson</A> I was awarded a
 <A HREF="http://www.cadeinc.org/SkolemAward.html">Thoralf Skolem Award</A>, a ten-year
   test-of-time award from CADE, for our
   <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-cade-05.ps">paper</A>
@@ -340,7 +341,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sun Jun 21 15:06:10 BST 2015 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Jun 21 15:29:15 BST 2015 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>