Mercurial Mercurial > hg > nominal2 / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
README
changeset 2453 2f47291b6ff9
parent 2452 39f8d405d7a2
child 2523 e903c32ec24f
equal deleted inserted replaced
2452:39f8d405d7a2 2453:2f47291b6ff9 
    27 
    27 
    28 Pearl         ... accepted at ITP 
    28 Pearl         ... accepted at ITP 
    29 Pearl-jv      ... journal version
 
    29 Pearl-jv      ... journal version
 
    30 
    30 
    31 Quotient-Paper .. submitted to SAC
 
    31 Quotient-Paper .. submitted to SAC
 
       
    32 
       
    33 Slides        ... various talks Christian gave recently
nominal2