--- a/publications.html Thu Oct 27 08:17:23 2022 +0100 +++ b/publications.html Thu Oct 27 08:19:36 2022 +0100 @@ -73,7 +73,6 @@ <H3>Pending</H3> <p><B>POSIX Lexing with Bitcoded Derivatives.</B> (with Tan) -</TD> <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B> Journal version. </TD>