Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Mon, 13 Apr 2020 18:39:58 +0900 | Shinji KONO | clean up graph-to-CCC |
Mon, 13 Apr 2020 18:01:05 +0900 | Shinji KONO | CCC is trivial |
Mon, 13 Apr 2020 12:22:26 +0900 | Shinji KONO | ... funcn does not work |