Mercurial > hg > Gears > GearsAgda
graph
-
fix rotateThu, 10 Nov 2016 09:27:01 +0900, by Shinji KONO
-
add stack clear interfaceThu, 10 Nov 2016 07:51:15 +0900, by Shinji KONO
-
name fixesThu, 10 Nov 2016 07:33:10 +0900, by Shinji KONO
-
recude stack get using traverse fieldWed, 09 Nov 2016 22:33:16 +0900, by Shinji KONO
-
Added tag stack-interface for changeset 4f6a660c14a1Wed, 09 Nov 2016 15:43:38 +0900, by Shinji KONO