Mercurial Mercurial > hg > nominal2 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 19 Feb 2013 04:21:11 +0000
changeset 3205 645ee5189bec
parent 3204 b69c8660de14
child 3206 fb201e383f1b
child 3207 d3f7c8cce53b
tuned
README file | annotate | diff | comparison | revisions 
--- 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
nominal2