Mercurial > hg > Members > kono > Proof > category

log src/ToposIL.agda @ 1038:db3e89065178

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Wed, 07 Apr 2021 15:17:38 +0900 Shinji KONO ... base src/ToposEx.agda@b1477b34cebe
less more | (0) tip