~peter-gjoel/verifytapn/verifytapn

Viewing all changes in revision 144.

  • Committer: Jiri Srba
  • Date: 2011-10-08 18:02:56 UTC
  • Revision ID: srba@cs.aau.dk-20111008180256-7peqpejbz4wzkc23
Tags: 1.0.2
shortened the message about removal of orphan transitions

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: