Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
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 |