log

age author description
Mon, 09 Mar 2020 11:25:49 +0900 ryokka fix default tip
Mon, 17 Feb 2020 17:14:00 +0900 ryokka fix poster
Mon, 17 Feb 2020 16:23:47 +0900 ryokka fix poster
Fri, 14 Feb 2020 20:55:37 +0900 ryokka create poster-mm
Fri, 14 Feb 2020 16:19:47 +0900 ryokka fix paper
Wed, 12 Feb 2020 05:02:27 +0900 ryokka fix slide
Tue, 11 Feb 2020 02:31:26 +0900 ryokka fix paper, slide
Mon, 10 Feb 2020 17:26:24 +0900 ryokka update abstract_eng
Mon, 10 Feb 2020 14:20:21 +0900 ryokka add hoare figure
Sat, 08 Feb 2020 22:07:16 +0900 ryokka add slide and slide-mindmap
Fri, 07 Feb 2020 21:40:26 +0900 ryokka fix cbc_agda, cbc_hoare and Conclusion.tex
Thu, 06 Feb 2020 21:49:08 +0900 ryokka fix hoare.tex
Thu, 06 Feb 2020 19:24:32 +0900 ryokka fix agda.tex
Wed, 05 Feb 2020 02:48:31 +0900 ryokka modify
Mon, 03 Feb 2020 21:47:43 +0900 ryokka fix, and add mindmap->pdf
Wed, 29 Jan 2020 22:36:17 +0900 ryokka fix chapter hoare
Mon, 27 Jan 2020 20:46:38 +0900 ryokka fix
Mon, 27 Jan 2020 20:41:36 +0900 ryokka add code, figure. and paper fix content
Thu, 16 Jan 2020 19:21:45 +0900 ryokka fix
Thu, 02 Jan 2020 21:25:52 +0900 ryokka Initialize