Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Mon, 31 Jul 2017 22:40:08 +0900 | Tatsuki IHA | Can work queue_test converted by generate_stub |
Sat, 29 Jul 2017 19:35:16 +0900 | masataka | handle continuation in stub |
Sat, 29 Jul 2017 19:08:25 +0900 | masataka | handle local continuation |
Thu, 27 Jul 2017 18:23:03 +0900 | mir3636 | fix getCodeGear |
Wed, 26 Jul 2017 18:57:19 +0900 | Tatsuki IHA | Add comment to createOneDimiterateTask |
Tue, 25 Jul 2017 21:19:54 +0900 | mir3636 | add getCodeGear to generate_stub.pl |
Tue, 25 Jul 2017 16:43:19 +0900 | Tatsuki IHA | Fix perlscript |