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