~tapaal-contributor/tapaal/layout-of-net-depends-on-gridsize-1429880

Viewing all changes in revision 1003.

merged in branch lp:~yrke/tapaal/fixes-1821588-orphantransition fixing NPE for orhpan transitions when opening query dialog

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: