--- a/publications.html	Wed Jun 27 13:59:43 2018 +0100
+++ b/publications.html	Wed Jun 27 14:06:39 2018 +0100
@@ -72,16 +72,21 @@
 <H3>Pending</H3>
 
 <p><B>Priority Inheritance Protocol Proved Correct.</B> 
-      (with Zhang and Wu) Journal version. Accepted.
+      (with Zhang and Wu) Journal version. Accepted in Journal of Automated Reasoning.
       [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>]
+</TD>
+</TR>
 
+<TR>
+<TD BGCOLOR="FFFFFF" WIDTH="75%">
+<H3>2017</H3>
 <p><B>Modelling Homogeneous Generative Meta-Programming</B>
       (with Berger and Tratt)
       In Proceedings of the 31st European Conference on Object-Oriented Programming (ECOOP 2017).
       In Volume <A HREF="http://drops.dagstuhl.de/portals/extern/index.php?semnr=16035">74</A>
       of Leibniz International Proceedings in Informatics (LIPIcs). Pages 5:1-23.
       Schloss Dagstuhl-Leibniz-Zentrum, 2017.
-      [<A HREF="http://drops.dagstuhl.de/opus/volltexte/2017/7277">pdf</A>]
+      [<A HREF="http://drops.dagstuhl.de/opus/volltexte/2017/7277">pdf</A>]    
 </TD>
 </TR>
 
@@ -523,7 +528,7 @@
 
 </TABLE>
 <P>
-Time-stamp: <- 2017-09-15 11:27:55 by Christian Urban>
+Time-stamp: <- 2018-07-29 11:27:55 by Christian Urban>
 <a href="https://validator.w3.org/check/referer">[Validate this page.]</a>
 </P> 
 </BODY>