Mercurial > hg > Members > kono > Proof > category

directory / @ 0:302941542c0f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
name size permissions
file category.ind 44117 -rw-r--r--
file list.agda 128 -rw-r--r--
file nat.agda 2539 -rw-r--r--