Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Sat, 28 Jan 2017 15:48:54 +0900 | Shinji KONO | merge |
Sat, 28 Jan 2017 15:46:33 +0900 | Shinji KONO | generated stub no comiple errors |
Sat, 28 Jan 2017 12:37:22 +0900 | Shinji KONO | fix type gathering pattern match in generate_stub.pl |
Sat, 28 Jan 2017 12:25:35 +0900 | mir3636 | generate next args |
Fri, 27 Jan 2017 21:20:07 +0900 | mir3636 | fix make error of twice |
Fri, 27 Jan 2017 20:40:28 +0900 | mir3636 | fix cmake file |