Tue, 17 Feb 2015 12:28:35 +0900 |
Yasutaka Higa |
Add generated prepaper PDF
prepaper_v1
|
Mon, 16 Feb 2015 17:16:20 +0900 |
Yasutaka Higa |
Add template of prepaper
|
Mon, 16 Feb 2015 16:26:01 +0900 |
Yasutaka Higa |
Add generated pdf
paper_v1
|
Mon, 16 Feb 2015 12:40:53 +0900 |
Yasutaka Higa |
Add thebibliography
|
Thu, 12 Feb 2015 17:44:18 +0900 |
Yasutaka Higa |
Add escape script
|
Tue, 10 Feb 2015 12:48:02 +0900 |
Yasutaka Higa |
Add description prove method in agda
|
Sun, 08 Feb 2015 22:23:56 +0900 |
Yasutaka Higa |
Fix listings and page numbering
|
Sun, 08 Feb 2015 12:20:17 +0900 |
Yasutaka Higa |
Add forgot figure files
|
Tue, 03 Feb 2015 17:23:44 +0900 |
Yasutaka Higa |
Add mind map
|
Tue, 03 Feb 2015 16:47:18 +0900 |
Yasutaka Higa |
Add .hgignore
|