lp:~tapaal-contributor/tapaal/verifytapn-not-offered-1896454
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/verifytapn-not-offered-1896454
Branch merges
- Jiri Srba: Approve
-
Diff: 12 lines (+1/-1)1 file modifiedsrc/pipe/gui/widgets/QueryDialog.java (+1/-1)
Branch information
Recent revisions
- 1103. By Peter Haahr Taankvist
-
Use the right engine options for continuous engine (verifyTAPNOptions instead of verifyPNOptions)
- 1102. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108 fixing problem with undo when objects are selected
- 1101. By Jiri Srba
-
merged in lp:~yrke/tapaal/fix1894107-mouseWheelOnPTO fixing accidental rotation of transitions and adding tokens to places - now it is enabled only if the places/transition is selected
- 1100. By Jiri Srba
-
merged in lp:~yrke/tapaal/fix1879032-workflowanalysis fixing problem with showing workflow traces
- 1096. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/fix-1894106-LabelsWithConstantsAreNotShown fixing a problem with iinvisible weights when constant was used
- 1095. By Jiri Srba <email address hidden>
-
merged in lp:~yrke/tapaal/fix-1894109-NullPointerOnOpeningInhibArcDialog fixing NPE when for opening arc dialog
- 1094. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/fix-trunk-halt-1893777 fixing the loading of game nets with queries
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal