Binary file Publications/posix.pdf has changed

--- a/msc-projects-15.html	Mon May 09 11:45:12 2016 +0100
+++ b/msc-projects-15.html	Wed May 18 11:50:59 2016 +0100
@@ -601,6 +601,8 @@
   <A HREF="http://www.openmirage.org">Mirage OS</A>
 <li>Any kind of applied hacking, for example the Arduino-based keylogger described
    <A HREF="http://samy.pl/keysweeper/">here</A>
+<li>Anything related to code books, like this
+   <A HREF="http://www.joelotter.com/kajero/">one</A>
 </ul>
 </p>
 
@@ -620,7 +622,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Sat Apr 16 12:48:58 BST 2016 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon May 16 11:27:14 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>

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