Mercurial > hg > Papers > 2018 > ryokka-sigos

log Paper/src/Nat.agda @ 12:e20725cd6d8a 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
Fri, 13 Apr 2018 19:47:50 +0900 ryokka fix Paper
less more | (0) tip