Mercurial > hg > Gears > GearsAgda
graph
-
Change used interface syntax from #include to #interfaceMon, 25 Dec 2017 18:10:56 +0900, by Tatsuki IHA
-
Fix segmentation fault for calc.cbcThu, 21 Dec 2017 20:58:39 +0900, by Tatsuki IHA
-
Fix warning pointer typeThu, 21 Dec 2017 18:52:21 +0900, by Tatsuki IHA