Mercurial Mercurial > hg > public_html / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 28 Mar 2013 17:07:37 +0000
changeset 186 b25473c23709
parent 185 ced857ec7f5b
child 187 c3c3cfc278d1
tuned
publications.html file | annotate | diff | comparison | revisions 
--- a/publications.html	Thu Mar 28 17:05:58 2013 +0000
+++ b/publications.html	Thu Mar 28 17:07:37 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) Accepted.
+      (with Xu and Zhang) Accepted at ITP 2013.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/tm.pdf">pdf</A>]
public_html