Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Tue, 29 Aug 2017 01:01:44 +0900 | Tatsuki IHA | Fix spanwTasks |
Thu, 24 Aug 2017 17:23:41 +0900 | Tatsuki IHA | Add par_meta |
Thu, 24 Aug 2017 15:32:38 +0900 | Tatsuki IHA | Add handle par goto statement |
Tue, 01 Aug 2017 20:09:33 +0900 | Tatsuki IHA | Fix taskManager |
Tue, 01 Aug 2017 19:42:08 +0900 | innparusu | Update todo |
Tue, 01 Aug 2017 18:49:56 +0900 | mir3636 | fix generate_stub.pl |