Sun, 01 Mar 2015 13:08:51 +0900 |
Yasutaka Higa |
Added tag paper_final for changeset 6a12eb22be8c
default tip
|
Sun, 01 Mar 2015 13:05:17 +0900 |
Yasutaka Higa |
Update Makefile
paper_final
|
Fri, 20 Feb 2015 22:14:01 +0900 |
Yasutaka Higa |
Fix presentation
|
Thu, 19 Feb 2015 22:22:46 +0900 |
Yasutaka Higa |
Add generated slides in English
|
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...
|