Created by Lena Said and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/dialog-always-on-top-1918912
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

1122. By Lena Said on 2021-04-02

Loading dialog is not on top of other applications anymore.

1120. By Jiri Srba on 2021-03-04

merged in lp:~tapaal-contributor/tapaal/save-tar-option that allows to save -tar option to .tapn file

1119. By Jiri Srba on 2021-02-28

merged in lp:~tapaal-contributor/tapaal/add-tar-option adding the -tar option for the verifypn engine

1118. By Jiri Srba on 2021-02-28

merged in lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882 fixing the scaling of raw-output result

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

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.