Mercurial > hg > Members > kono > Proof > category

log equalizer.agda @ 241:9e4dc349831e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) -30 -10 -3 tip
age author description
Sun, 08 Sep 2013 12:34:35 +0900 Shinji KONO comments
Sun, 08 Sep 2013 11:54:06 +0900 Shinji KONO fix
Sun, 08 Sep 2013 06:43:20 +0900 Shinji KONO fix
less more | (0) -30 -10 -3 tip