Mercurial > hg > Members > kono > Proof > automaton
log
age | author | description |
---|---|---|
Sun, 26 Dec 2021 18:36:48 +0900 | Shinji KONO | ... |
Sun, 26 Dec 2021 12:38:37 +0900 | Shinji KONO | dup in finiteSet in long list |
Sat, 25 Dec 2021 19:16:59 +0900 | Shinji KONO | non-regular |
Mon, 20 Dec 2021 07:54:09 +0900 | Shinji KONO | ... |
Sat, 18 Dec 2021 19:34:19 +0900 | Shinji KONO | ... |
Sat, 18 Dec 2021 16:27:46 +0900 | Shinji KONO | fixes |