Mercurial > hg > Papers > 2013 > kono-prosym

log fig/agda-list-1.tiff @ 12:5b51dffd2b19 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Thu, 05 Dec 2013 20:10:27 +0900 Shinji KONO on going..
less more | (0) tip