TAPAAL

lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882

Created by Lena Ernstsen on 2021-02-20 and last modified on 2021-02-22

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882

Members of TAPAAL Contributors can upload to this branch. Log in for directions.

No branches dependent on this one.

Merged into lp:tapaal at revision 1118

Jiri Srba: Approve on 2021-02-28

1119. By Lena Ernstsen on 2021-02-22: Scroll panel resizes with the window
1118. By Lena Ernstsen on 2021-02-20: Restricted the minimum size of the raw query output window
1117. By Jiri Srba on 2020-12-18: merged in lp:~tapaal-contributor/tapaal/show-reduced-net-1879130 adding the possiblity to show the reduced net - relies on the new trunk version of verifypn
1116. By Jiri Srba on 2020-12-17: merged in lp:~tapaal-contributor/tapaal/raw-query-output adding the possibility to display raw output from engines
1115. By Jiri Srba on 2020-12-16: fixed a tooltip for batch export menu item
1114. By Jiri Srba on 2020-12-16: merged in lp:~tapaal-contributor/tapaal/add-export-options adding the option of batch export to all engines
1113. By Jiri Srba <email address hidden> on 2020-11-06: merged in lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query fixing a problem of transition-enabledness predicate in query dialog
1112. By Jiri Srba on 2020-10-31: updated minimum versions of verifydtapn to 3.4.1 and verifypn to 3.1.1
1111. By Jiri Srba on 2020-10-31: merged in lp:~tapaal-contributor/tapaal/Gui-freeze-1896457 removing debugging lines
1110. By Jiri Srba on 2020-10-30: merged in lp:~tapaal-contributor/tapaal/add-discrete-to-untimed allowing to call the discrete time game engine from untimed lens mode

This branch contains Public information

Everyone can see this information.