# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1671791784 0
# Node ID 5d94313977b10fbb8eb02f3dea1d52c3047467a0
# Parent  9a3fe74de4b04ed120d4855c0863525766f25885
updated

diff -r 9a3fe74de4b0 -r 5d94313977b1 publications.html
--- a/publications.html	Fri Dec 23 10:35:27 2022 +0000
+++ b/publications.html	Fri Dec 23 10:36:24 2022 +0000
@@ -74,7 +74,8 @@
 <p><B>POSIX Lexing with Bitcoded Derivatives.</B>
       (with Tan) 
 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B>
-      Journal version. Accepted in Journal of Automated Reasoning.
+  Accepted in Journal of Automated Reasoning.
+  [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/posix-jar.pdf">pdf</A>]
 </TD>
 </TR>