Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Mon, 05 Jun 2017 21:42:21 +0900 | Shinji KONO | comm2 |
Mon, 05 Jun 2017 20:52:22 +0900 | Shinji KONO | two field again ... |
Mon, 05 Jun 2017 18:57:15 +0900 | Shinji KONO | makeEqu/makeProd does not woek |
Mon, 05 Jun 2017 14:16:36 +0900 | Shinji KONO | prove fe=ge in limit-to |