Mercurial > urweb

log tests/unif1.ur

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Sat, 29 Oct 2011 17:30:34 -0400 Adam Chlipala Shorter, more focused error messages about undetermined unification variables
less more | (0) tip