Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Thu, 10 Nov 2016 07:33:10 +0900 | Shinji KONO | name fixes |
Wed, 09 Nov 2016 22:33:16 +0900 | Shinji KONO | recude stack get using traverse field |
Wed, 09 Nov 2016 15:43:38 +0900 | Shinji KONO | Added tag stack-interface for changeset 4f6a660c14a1 |
Wed, 09 Nov 2016 15:43:22 +0900 | Shinji KONO | stack interface worked stack-interface |
Wed, 09 Nov 2016 13:26:53 +0900 | Shinji KONO | fixes |
Wed, 09 Nov 2016 10:13:31 +0900 | Shinji KONO | fix |