Mercurial > hg > Members > kono > Proof > agda-intro > agda

branches

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
branch node
default 81966c2f4df6