Gears/GearsAgda: revision graph

create .cbc
Tue, 15 Nov 2016 17:46:29 +0900, by mir3636
Add Gearef macro
Thu, 10 Nov 2016 20:37:52 +0900, by one
fix data gears type enum
Thu, 10 Nov 2016 12:07:53 +0900, by Shinji KONO
add treeRotate data
Thu, 10 Nov 2016 10:35:48 +0900, by Shinji KONO
fix rotate
Thu, 10 Nov 2016 09:27:01 +0900, by Shinji KONO
add stack clear interface
Thu, 10 Nov 2016 07:51:15 +0900, by Shinji KONO
name fixes
Thu, 10 Nov 2016 07:33:10 +0900, by Shinji KONO
recude stack get using traverse field
Wed, 09 Nov 2016 22:33:16 +0900, by Shinji KONO
Added tag stack-interface for changeset 4f6a660c14a1
Wed, 09 Nov 2016 15:43:38 +0900, by Shinji KONO
stack interface worked stack-interface
Wed, 09 Nov 2016 15:43:22 +0900, by Shinji KONO
fixes
Wed, 09 Nov 2016 13:26:53 +0900, by Shinji KONO
fix
Wed, 09 Nov 2016 10:13:31 +0900, by Shinji KONO

Mercurial > hg > Gears > GearsAgda