Mercurial > hg > Members > kono > Proof > galois
log
age | author | description |
---|---|---|
Tue, 08 Dec 2020 10:07:50 +0900 | Shinji KONO | ... |
Tue, 08 Dec 2020 09:29:37 +0900 | Shinji KONO | restart anyComm |
Mon, 07 Dec 2020 22:30:29 +0900 | Shinji KONO | ... |
Mon, 07 Dec 2020 20:29:13 +0900 | Shinji KONO | ... |
Mon, 07 Dec 2020 06:59:38 +0900 | Shinji KONO | fix to ≡_ in Any |
Sun, 06 Dec 2020 13:11:25 +0900 | Shinji KONO | P Q |