Mercurial > hg > Members > tatsuki > proofsAndTypes

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 0: (0) tip
age author description
Tue, 04 Mar 2014 15:04:53 +0900 tatsuki Try 'and' definition on agda draft default tip
less more | rev 0: (0) tip