# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1361247671 0
# Node ID 645ee5189bece0938b3c60bf0cb84ab9b6f96ac2
# Parent  b69c8660de1495940b0e287bf51a0f265051971d
tuned

diff -r b69c8660de14 -r 645ee5189bec README
--- a/README	Thu Nov 29 21:59:38 2012 +0000
+++ b/README	Tue Feb 19 04:21:11 2013 +0000
@@ -26,10 +26,10 @@
 Literature    ... some relevant papers about binders and
                   Core-Haskell
 
-Paper         ... submitted to ESOP
+Paper         ... accepted at ESOP
 
 Pearl         ... accepted at ITP 
-Pearl-jv      ... journal version
+Pearl-jv      ... accepted at LMCS
 
 Quotient-Paper .. accepted to SAC