Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
2017-06-29 | Tatsuki IHA | Revert perl script |
2017-06-29 | Tatsuki IHA | Add Time interface |
2017-06-28 | Tatsuki IHA | Fix twice |
2017-06-27 | Tatsuki IHA | Merge |
2017-06-27 | Tatsuki IHA | Add synchronized queue of paper |
2017-06-26 | Nozomi Teruya | add bitonic_sort but not work |
Loading... |