lp:~tapaal-contributor/tapaal/Batch-export-PNML-XML-queries-1754675

Created by Peter Haahr Taankvist on 2018-03-27 and last modified on 2018-05-11
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/Batch-export-PNML-XML-queries-1754675
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

Recent revisions

973. By Jiri Srba on 2018-05-11

updated run file with extra heap space

972. By Jiri Srba on 2018-05-11

added missing imports

971. By Jiri Srba on 2018-05-11

merged in trunk and resolved conflict in Export.java

970. By Jiri Srba on 2018-05-11

renaming of the menu item and the tooltip

969. By Peter Taankvist <email address hidden> on 2018-05-07

Painted 'folder already exists' value yellow

968. By Peter Taankvist <email address hidden> on 2018-05-07

Only show subfolder name in destination column, tooltip shows full path

967. By Peter Taankvist <email address hidden> on 2018-05-07

Dynamic resizing for Batch Export

966. By Peter Taankvist <email address hidden> on 2018-05-05

String constants for filestatus in Export

965. By Peter Taankvist <email address hidden> on 2018-05-05

Handle orphan transitions without breaking gui

964. By Peter Taankvist <email address hidden> on 2018-05-04

Add loading bar and colors to batch export

Branch metadata

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