Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Fri, 16 Dec 2016 22:04:05 +0900 | mir3636 | generate_stub |
Fri, 16 Dec 2016 23:27:14 +0900 | ikkun | replace Array and Stack for array and stack |
Fri, 16 Dec 2016 19:40:42 +0900 | mir3636 | create generate_stub.pl |
Fri, 16 Dec 2016 17:56:39 +0900 | Shinji KONO | fixes |
Fri, 16 Dec 2016 17:52:53 +0900 | Shinji KONO | close bad one parallel_execution |
Fri, 16 Dec 2016 17:50:00 +0900 | Shinji KONO | fix CMaleLists.txt parallel_execution |
Fri, 16 Dec 2016 17:43:58 +0900 | Shinji KONO | close old one parallel_execution |