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 8: (0) tip
age author description
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 8: (0) tip