Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Fri, 26 May 2017 07:39:23 +0900 | Tatsuki IHA | Add CodeGear interface |
Thu, 25 May 2017 22:52:54 +0900 | Tatsuki IHA | Merge |
Thu, 25 May 2017 22:49:40 +0900 | Tatsuki IHA | Add CodeGear.cbc |