Mercurial > hg > Members > kono > Proof > automaton

log agda/regular-language.agda @ 84:29d81bcff049

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Fri, 08 Nov 2019 13:40:25 +0900 Shinji KONO ...
Thu, 07 Nov 2019 17:15:22 +0900 Shinji KONO ...
Thu, 07 Nov 2019 13:16:03 +0900 Shinji KONO ...
Thu, 07 Nov 2019 11:36:23 +0900 Shinji KONO ...
Thu, 07 Nov 2019 10:55:22 +0900 Shinji KONO ...
Thu, 07 Nov 2019 00:17:16 +0900 Shinji KONO ...
Wed, 06 Nov 2019 23:19:53 +0900 Shinji KONO add concat
Wed, 06 Nov 2019 17:18:58 +0900 Shinji KONO subset construction
Thu, 31 Oct 2019 10:08:55 +0900 Shinji KONO ...
less more | (0) tip