Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Tue, 15 Nov 2016 17:46:29 +0900 | mir3636 | create .cbc |
Thu, 10 Nov 2016 20:37:52 +0900 | one | Add Gearef macro |
Thu, 10 Nov 2016 12:07:53 +0900 | Shinji KONO | fix data gears type enum |
Thu, 10 Nov 2016 10:35:48 +0900 | Shinji KONO | add treeRotate data |
Thu, 10 Nov 2016 09:27:01 +0900 | Shinji KONO | fix rotate |
Thu, 10 Nov 2016 07:51:15 +0900 | Shinji KONO | add stack clear interface |
Thu, 10 Nov 2016 07:33:10 +0900 | Shinji KONO | name fixes |