# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1364490358 0
# Node ID ced857ec7f5b0e66e29f4c30cad097bcf86f9d34
# Parent  b9e6ac16583d2afeb80f6859a2e5561c01b0f0f5
tuned

diff -r b9e6ac16583d -r ced857ec7f5b publications.html
--- a/publications.html	Wed Mar 27 17:26:05 2013 +0000
+++ b/publications.html	Thu Mar 28 17:05:58 2013 +0000
@@ -93,7 +93,7 @@
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>]
 
 <p><B>Mechanising Turing Machines and Computability Theory in Isabelle/HOL.</B> 
-      (with Xu and Zhang) Submitted.
+      (with Xu and Zhang) Accepted.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/tm.pdf">pdf</A>]