edit automata while paused

This commit is contained in:
2019-01-06 19:22:22 +01:00
parent 75e2589091
commit 103965a135
9 changed files with 204 additions and 14 deletions
Binary file not shown.
Binary file not shown.
Binary file not shown.