Mercurial > hg > Members > kono > Proof > automaton
graph
-
add some filesSat, 23 Nov 2019 12:59:45 +0900, by Shinji KONO
-
finite doneFri, 22 Nov 2019 22:02:17 +0900, by Shinji KONO
-
...Fri, 22 Nov 2019 19:30:10 +0900, by Shinji KONO
-
clean upFri, 22 Nov 2019 17:35:12 +0900, by Shinji KONO
-
F2L-iso doneFri, 22 Nov 2019 17:20:12 +0900, by Shinji KONO
-
...Fri, 22 Nov 2019 15:16:06 +0900, by Shinji KONO
-
...Thu, 21 Nov 2019 18:34:22 +0900, by Shinji KONO