Mercurial > hg > Members > kono > Proof > automaton
changeset 16:911899e36b96
Added tag subset-construction for changeset 54382de19264
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 24 Aug 2018 17:55:22 +0900 |
parents | 54382de19264 |
children | 08b589172493 |
files | .hgtags |
diffstat | 1 files changed, 1 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff