Mercurial > hg > Members > kono > Proof > galois

log Symmetric.agda @ 141:35c0b6878863

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) -15 tip
age author description
Thu, 27 Aug 2020 11:44:58 +0900 Shinji KONO tc fix
Mon, 24 Aug 2020 22:37:21 +0900 Shinji KONO sym2 done
Fri, 21 Aug 2020 23:44:28 +0900 Shinji KONO cleanup
Fri, 21 Aug 2020 19:24:56 +0900 Shinji KONO enumerating permutation done
Fri, 21 Aug 2020 13:13:27 +0900 Shinji KONO eperm done?
Fri, 21 Aug 2020 11:13:08 +0900 Shinji KONO ...
Thu, 20 Aug 2020 21:59:22 +0900 Shinji KONO start again
Thu, 20 Aug 2020 19:20:56 +0900 Shinji KONO this pconcat is no good
Thu, 20 Aug 2020 18:32:54 +0900 Shinji KONO ...
Thu, 20 Aug 2020 14:13:08 +0900 Shinji KONO ...
Thu, 20 Aug 2020 12:17:08 +0900 Shinji KONO ...
Thu, 20 Aug 2020 09:44:08 +0900 Shinji KONO ...
Thu, 20 Aug 2020 09:07:54 +0900 Shinji KONO ...
Thu, 20 Aug 2020 00:26:38 +0900 Shinji KONO emumelation done
Wed, 19 Aug 2020 23:31:48 +0900 Shinji KONO ...
less more | (0) -15 tip