Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Wed, 19 Apr 2017 19:31:57 +0900 | Tatsuki IHA | Fix graffles |
Wed, 19 Apr 2017 18:57:10 +0900 | Tatsuki IHA | Close branch examples_directory |
Wed, 19 Apr 2017 18:56:01 +0900 | Tatsuki IHA | Merge |
Wed, 19 Apr 2017 18:41:57 +0900 | Tatsuki IHA | Add gears doc examples_directory |
Tue, 18 Apr 2017 19:00:23 +0900 | Tatsuki IHA | Close branch examples_directory |
Tue, 18 Apr 2017 18:59:36 +0900 | Tatsuki IHA | Merge |
Tue, 18 Apr 2017 18:58:16 +0900 | Tatsuki IHA | Add assert calc examples examples_directory |