# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1669132085 0
# Node ID a07c2b895cf526249a1954e48d3d28ab0d3fc5d9
# Parent  3ea00e44d10b543ac05a856777f824380a1a8d20
updated

diff -r 3ea00e44d10b -r a07c2b895cf5 publications.html
--- a/publications.html	Thu Oct 27 08:19:36 2022 +0100
+++ b/publications.html	Tue Nov 22 15:48:05 2022 +0000
@@ -74,7 +74,7 @@
 <p><B>POSIX Lexing with Bitcoded Derivatives.</B>
       (with Tan) 
 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B>
-      Journal version.
+      Journal version. Accepted in Journal of Automated Reasoning.
 </TD>
 </TR>