--- a/publications.html	Mon May 09 11:45:12 2016 +0100
+++ b/publications.html	Wed May 18 11:50:59 2016 +0100
@@ -90,6 +90,7 @@
 
 <p><B>POSIX Lexing with Derivatives of Regular Expressions</B>
       (with Ausaf and Dyckhoff) Accepted at ITP 2016.
+      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/posix.pdf">pdf</A>]
 </TD>
 </TR>
 
@@ -518,7 +519,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Mon May  9 11:43:46 BST 2016 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Wed May 18 11:50:47 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>