Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Sun, 05 Feb 2017 04:08:30 +0900 | Tatsuki IHA | Add input data gear |
Fri, 03 Feb 2017 18:19:24 +0900 | mir3636 | fix queue_test |
Fri, 03 Feb 2017 17:47:27 +0900 | mir3636 | generate no compile errors |
Fri, 03 Feb 2017 03:25:57 +0900 | Tatsuki IHA | Fix |
Thu, 02 Feb 2017 20:27:56 +0900 | mir3636 | fix generate_stub |
Thu, 02 Feb 2017 18:29:50 +0900 | mir3636 | generate extern |