--- 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>