~tapaal-contributor/tapaal/bug898117-query-modified-save

Viewing all changes in revision 644.

  • Committer: Jiri Srba
  • Date: 2011-12-08 14:45:56 UTC
  • Revision ID: srba@cs.aau.dk-20111208144556-4ce4m1l1hlrm1x5e
Fixed a transition name in the train example.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: