Created by Lena Said and last modified
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.

Branch merges

Related bugs

Related blueprints

Branch information

TAPAAL Contributors

Recent revisions

1119. By Lena Said on 2021-02-22

Scroll panel resizes with the window

1118. By Lena Said 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

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
This branch contains Public information 
Everyone can see this information.