Mercurial > hg > Papers > 2013 > kono-prosym

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 12: (0) tip
age author description
Sat, 11 Jan 2014 09:48:32 +0900 Shinji KONO add fig default tip
Sat, 11 Jan 2014 00:52:00 +0900 Shinji KONO add monad
Thu, 09 Jan 2014 19:02:04 +0900 Shinji KONO add presentation
Fri, 06 Dec 2013 00:16:37 +0900 Shinji KONO done!
Thu, 05 Dec 2013 22:46:22 +0900 Shinji KONO hoi
Thu, 05 Dec 2013 22:44:00 +0900 Shinji KONO add agda source conversion
Thu, 05 Dec 2013 20:10:27 +0900 Shinji KONO on going..
Thu, 05 Dec 2013 18:40:21 +0900 Shinji KONO on oging
Tue, 03 Dec 2013 17:17:57 +0900 Shinji KONO on going...
Mon, 02 Dec 2013 18:30:16 +0900 Shinji KONO on going...
Sun, 01 Dec 2013 17:58:05 +0900 Shinji KONO writing...
Thu, 28 Nov 2013 18:48:14 +0900 Shinji KONO fix
Thu, 28 Nov 2013 09:27:34 +0900 Shinji KONO Prosym paper 2013
less more | rev 12: (0) tip