# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1369679450 -3600
# Node ID 7695cc4ce14a7cacbd207e23a2377e5f28ec829a
# Parent  a4418038199ab573dddac474705e536bdd0d2b82
updated

diff -r a4418038199a -r 7695cc4ce14a publications.html
--- a/publications.html	Sat May 18 07:22:44 2013 +0100
+++ b/publications.html	Mon May 27 19:30:50 2013 +0100
@@ -85,7 +85,8 @@
 <H3>Pending</H3>
 
 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> 
-      (with Wu and Zhang) Journal version. Submitted.
+      (with Wu and Zhang) Journal version. The first round of reviews has been positive. 
+      We are asked to make some modifications. 
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>]
 
 <p><B>Priority Inheritance Protocol Proved Correct.</B>