Mercurial > hg > Members > kono > Proof > category

log limit-to.agda @ 361:e9d4e6ab6cd1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Fri, 26 Jun 2015 19:18:57 +0900 Shinji KONO fix
Fri, 26 Jun 2015 19:03:54 +0900 Shinji KONO arrow
Fri, 26 Jun 2015 17:56:22 +0900 Shinji KONO nat equalit
Mon, 11 May 2015 11:16:24 +0900 Shinji KONO add DataCategory Universal mapping
Thu, 02 Apr 2015 22:49:13 +0900 Shinji KONO fix
Wed, 01 Apr 2015 17:37:04 +0900 Shinji KONO list representation of TwoCat Hom
Wed, 24 Dec 2014 22:16:20 +0900 Shinji KONO bad approach
Wed, 24 Dec 2014 12:50:52 +0900 Shinji KONO ...
Wed, 24 Dec 2014 12:00:16 +0900 Shinji KONO try equalizer from limit
less more | (0) tip