~tapaal-developers/tapaal/trunk

Viewing all changes in revision 1007.

merged in  lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck fixing wrong binary engine NPE

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: