Mercurial > hg > Members > kono > Proof > automaton
diff index.ind @ 55:ba5ee7eb2866
fix graph
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 16 Oct 2019 23:16:27 +0900 |
parents | 9406c2571fe7 |
children | 293a2075514b |
line wrap: on
line diff