~tapaal-contributor/tapaal/untimed-timed-gui

Viewing all changes in revision 1100.

  • Committer: ptaankvist at gmail
  • Date: 2020-08-17 06:18:11 UTC
  • Revision ID: ptaankvist@gmail.com-20200817061811-mxsa16oustifa4hd
Show forward backward buttons in simulation mode. Show choose next transition randomly checkbox in simulation control in settings

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: