lp:~tapaal-contributor/tapaal/Batch-export-PNML-XML-queries-1754675
Created by
Peter Haahr Taankvist
and last modified
- 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
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
- Peter Haahr Taankvist (community): Needs Resubmitting
-
Diff: 1030 lines (+781/-58)12 files modifiedrun-tapaal-j7.sh (+1/-1)
src/dk/aau/cs/gui/BatchProcessingDialog.java (+0/-27)
src/dk/aau/cs/gui/FileNameCellRenderer.java (+34/-0)
src/dk/aau/cs/gui/TabContent.java (+1/-1)
src/dk/aau/cs/gui/components/ExportBatchResultTableModel.java (+60/-0)
src/dk/aau/cs/verification/TAPNComposer.java (+6/-1)
src/pipe/gui/CreateGui.java (+1/-2)
src/pipe/gui/DrawingSurfaceImpl.java (+1/-8)
src/pipe/gui/Export.java (+21/-15)
src/pipe/gui/ExportBatchDialog.java (+643/-0)
src/pipe/gui/GuiFrame.java (+9/-3)
src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java (+4/-0)
Related bugs
Bug #1754675: Batch export of PNML and query XML files | Wishlist | Fix Released |
Related blueprints
Branch information
Recent revisions
- 968. By Peter Taankvist <email address hidden>
-
Only show subfolder name in destination column, tooltip shows full path
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal