Mercurial > hg > Members > kono > Proof > automaton

comparison agda/regex.agda @ 56:fe5304e06228

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
even dgree
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 17 Oct 2019 15:11:39 +0900 (2019-10-17)
parents 02b4ecc9972c
children b3f05cd08d24
comparison
equal deleted inserted replaced
55:ba5ee7eb2866 56:fe5304e06228