log

age author description
Thu, 19 Feb 2015 22:22:28 +0900 Yasutaka Higa Mini fixes
Thu, 19 Feb 2015 20:24:16 +0900 Yasutaka Higa Add slide in English
Thu, 19 Feb 2015 14:15:02 +0900 Yasutaka Higa Added tag presen_final for changeset bcd56a757a1a
Thu, 19 Feb 2015 14:14:52 +0900 Yasutaka Higa Fix presentation presen_final
Thu, 19 Feb 2015 09:07:23 +0900 Yasutaka Higa Add generated slides
Thu, 19 Feb 2015 07:39:04 +0900 Yasutaka Higa Fix slides
Wed, 18 Feb 2015 19:31:05 +0900 Yasutaka Higa Mini fixes
Wed, 18 Feb 2015 16:26:00 +0900 Yasutaka Higa Add presentation
Wed, 18 Feb 2015 14:54:47 +0900 Yasutaka Higa Added tag paper_v2 for changeset 0fc51df4c15c
Wed, 18 Feb 2015 14:54:37 +0900 Yasutaka Higa paper version 2 paper_v2
Wed, 18 Feb 2015 12:26:17 +0900 Yasutaka Higa Add original number count
Wed, 18 Feb 2015 11:10:19 +0900 Yasutaka Higa Mini fixes
Tue, 17 Feb 2015 17:48:30 +0900 Yasutaka Higa Fix
Tue, 17 Feb 2015 17:41:32 +0900 Yasutaka Higa Mini fixes
Tue, 17 Feb 2015 16:56:18 +0900 Yasutaka Higa Added tag prepaper_submit for changeset f090afc484e2
Tue, 17 Feb 2015 16:50:11 +0900 Yasutaka Higa Update prepaper prepaper_submit
Tue, 17 Feb 2015 16:40:06 +0900 Shinji KONO fix
Tue, 17 Feb 2015 16:11:40 +0900 Yasutaka Higa Mini fixes
Tue, 17 Feb 2015 15:33:22 +0900 Yasutaka Higa Update preprint
Tue, 17 Feb 2015 14:50:32 +0900 Yasutaka Higa Update preprint
Tue, 17 Feb 2015 14:32:40 +0900 Yasutaka Higa Mini fixes
Tue, 17 Feb 2015 12:28:48 +0900 Yasutaka Higa Added tag prepaper_v1 for changeset f15155ec9bd9
Tue, 17 Feb 2015 12:28:35 +0900 Yasutaka Higa Add generated prepaper PDF prepaper_v1
Tue, 17 Feb 2015 12:28:08 +0900 Yasutaka Higa Add agda wiki into bibliography
Tue, 17 Feb 2015 12:23:20 +0900 Yasutaka Higa Adjust prepaper
Tue, 17 Feb 2015 12:08:10 +0900 Yasutaka Higa Writing prepaper...
Tue, 17 Feb 2015 10:09:22 +0900 Yasutaka Higa Add abstract in English to prepaper
Mon, 16 Feb 2015 17:16:20 +0900 Yasutaka Higa Add template of prepaper
Mon, 16 Feb 2015 17:09:53 +0900 Yasutaka Higa Move papers into directory
Mon, 16 Feb 2015 16:29:31 +0900 Yasutaka Higa Added tag paper_v1 for changeset c208d759b038
Mon, 16 Feb 2015 16:26:01 +0900 Yasutaka Higa Add generated pdf paper_v1
Mon, 16 Feb 2015 16:24:42 +0900 Yasutaka Higa Fixes