TAPAAL

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.

No branches dependent on this one.

Merged into lp:tapaal at revision 961

Jiri Srba: Approve on 2018-05-11

Peter Haahr Taankvist (community): Needs Resubmitting on 2018-05-11

Wishlist

Fix Released

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

This branch contains Public information

Everyone can see this information.