Mercurial > hg > Members > kono > Proof > automaton
log
age | author | description |
---|---|---|
Sun, 17 Nov 2019 18:07:47 +0900 | Shinji KONO | clean up |
Sun, 17 Nov 2019 17:47:59 +0900 | Shinji KONO | closed-in-concat← done |
Sun, 17 Nov 2019 12:02:17 +0900 | Shinji KONO | case1 done |
Sun, 17 Nov 2019 10:21:05 +0900 | Shinji KONO | ... |
Sat, 16 Nov 2019 21:47:12 +0900 | Shinji KONO | ab-case |
Fri, 15 Nov 2019 11:51:31 +0900 | Shinji KONO | ... state-A is not necessary? |