# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1328027214 0
# Node ID 47794dcaac00e567ba65f0e43b7931be0e9c70eb
# Parent  f58a4b0033634725a105ae1a1223b7e828c7ea0b# Parent  001a643b8b06f4a441be6b3fbf6952d1c7845bce
merged

diff -r 001a643b8b06 -r 47794dcaac00 Publications/sac-11.pdf
Binary file Publications/sac-11.pdf has changed
diff -r 001a643b8b06 -r 47794dcaac00 publications.html
--- a/publications.html	Thu Jan 26 00:14:54 2012 +0000
+++ b/publications.html	Tue Jan 31 16:26:54 2012 +0000
@@ -131,7 +131,8 @@
 
       (We silently assume in this paper to only lift from types that have
        covariant type-constructors. Many thanks to Ond&#345;ej Kun&#269;ar,
-       who pointed this out.)		    
+       who pointed this out. John Wickerson pointed out two typos, which are
+       corrected in the version above. Thanks!)		    
 
 <p><B>Mechanizing the Metatheory of Mini-XQuery.</B> (with Cheney) 
      In Proceedings of the 1st Conference on Certified Programs and Proofs (CPP 2011).
@@ -453,7 +454,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Sat Dec 10 12:24:42 GMT 2011
+Last modified: Tue Jan 31 16:25:43 GMT 2012
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>