lp:~tapaal-contributor/tapaal/add-undo-batch-export-1938790
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/interrupted-scrolling-1938783
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/LTL-dialog
⇒
lp:tapaal
|
Superseded |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/hide-show-names-1921393
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/fix-double-undo
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/hide-show-names-1921393
⇒
lp:tapaal
|
Superseded |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/hide-show-names-1921393
⇒
lp:tapaal
|
Superseded |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/LTL-dialog
⇒
lp:tapaal
|
Superseded |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/cpn-gui-dev
⇒
lp:tapaal
|
Superseded |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/LTL-dialog
⇒
lp:tapaal
|
Superseded |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/cut-names-1923011
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/token-truncation-bug-1918913
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/dialog-always-on-top-1918912
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/query-parsing-bug-1921580
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/hide-show-names-1921393
⇒
lp:tapaal
|
Superseded |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/token-truncation-bug-1918913
⇒
lp:tapaal
|
Superseded |
Lena Ernstsen
|
lp:~yrke/tapaal/github-actions
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/save-tar-option
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/raw-query-window-scaling-1915882
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/add-tar-option
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/raw-query-output
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/add-export-options
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/ubuntu-dark-theme-improvements-1897539
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~yrke/tapaal/arcpathpoint-issues
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/Gui-freeze-1896457
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/verifytapn-not-offered-1896454
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/Typos-1896460
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/intervals-on-outgoing-arcs-1896451
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/disable-workflow-analysis-1896319
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/show-reduced-net-1879130
⇒
lp:tapaal
|
Merged |
Thomas Pedersen
|
lp:~yrke/tapaal/fix1879032-workflowanalysis
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~yrke/tapaal/fix1894107-mouseWheelOnPTO
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/add-discrete-to-untimed
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/fix-1894106-LabelsWithConstantsAreNotShown
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~yrke/tapaal/fix-1894109-NullPointerOnOpeningInhibArcDialog
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/fix-trunk-halt-1893777
⇒
lp:tapaal
|
Merged |
Jiri Srba
|
lp:~tapaal-contributor/tapaal/enable-AF-game
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/refactor-remove-queries
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~yrke/tapaal/more-testing-and-refactorings
⇒
lp:tapaal
|
Rejected |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/autodetect-lens-check2
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~yrke/tapaal/memoryMonitor-nullpointer
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~yrke/tapaal/fix1891635-fixStepAnimationHistory
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~yrke/tapaal/fix1891456-clickingTransportArcs
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/game-shortcuts
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/remove-nongame-queries
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/autodetect-lens-check
⇒
lp:tapaal
|
Rejected |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/merge-query-dialogs
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/add-java-info-1890600
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/game-example-net
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/untimed-timed-gui
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/change-net-features
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/game-example-net
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~yrke/tapaal/fix-1890292-undoArcNeedTwoActions
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/transport-arcs-and-timed-nets
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/implement-game-ui-1884499
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/fix-1890247
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/engine-option-matrix-dev
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~yrke/tapaal/evenMore-gui-cleanup
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~yrke/tapaal/removeSpecialBatchLoading
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~yrke/tapaal/fix-1887524-prepostSetSize
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~yrke/tapaal/fix-1887770-and-1887771-ContextMenuForArcs
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~yrke/tapaal/fix-1887512-SharedPlaceWithToken
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/load-and-save-time-and-game-net-properties
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~yrke/tapaal/update-versioncheckurl
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/statistics-position-resets-1884365
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~yrke/tapaal/cleanup-PNO-namingAndInterface
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~yrke/tapaal/fix1883971-save-arcpath-point-coords-error
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/Net-statistics-should-display-orphan-places-1879127
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~yrke/tapaal/slimImageIcons-2
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~yrke/tapaal/updateResourceManager-2
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/verification-result-explanation-to-tooltip-1879129
⇒
lp:tapaal
|
Merged |
Thomas Pedersen
|
lp:~yrke/tapaal/AnimatorCleanup
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/display-shared-places-transitions-1879126
⇒
lp:tapaal
|
Merged |
Lena Ernstsen
|
lp:~tapaal-contributor/tapaal/move-open-composed-net-1879128
⇒
lp:tapaal
|
Merged |
Thomas Pedersen
|
lp:~yrke/tapaal/removeNetType
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~yrke/tapaal/java11
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-3.6-1870894
⇒
lp:tapaal/3.6
|
Merged |
Jiri Srba
|
lp:~tapaal-contributor/tapaal/only-dirs-batch-export-3.6-1870887
⇒
lp:tapaal/3.6
|
Merged |
Jiri Srba
|
lp:~tapaal-contributor/tapaal/only-dirs-batch-export-3.6-1870887
⇒
lp:tapaal
|
Rejected |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-3.6-1870894
⇒
lp:tapaal
|
Rejected |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/undo-redo-batchprocessing-3.6-1870904
⇒
lp:tapaal/3.6
|
Merged |
Jiri Srba
|
lp:~tapaal-contributor/tapaal/undo-redo-update-scrollbar-3.6-1875174
⇒
lp:tapaal/3.6
|
Merged |
Jiri Srba
|
lp:~tapaal-contributor/tapaal/zoom-in-smartdraw-1870896
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/undo-redo-batchprocessing-3.6-1870904
⇒
lp:tapaal
|
Rejected |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/undo-redo-update-scrollbar-3.6-1875174
⇒
lp:tapaal
|
Rejected |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-1870894
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/undo-redo-batchprocessing-1870904
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/only-dirs-batch-export-1870887
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/undo-redo-update-scrollbar-1875174
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~yrke/tapaal/positionAsInt
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~yrke/tapaal/testbranch-syntaxOnlyChanges
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/fix-shared-places-exception-1871091
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/fix-positionalInfo-detection-1870899
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/shared-place-transition-rename-1871091
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~yrke/tapaal/testbranch
⇒
lp:tapaal
|
Merged |
Kenneth Yrke Jørgensen
|
lp:~tapaal-contributor/tapaal/pnml-disable-buttons-1868535
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|
lp:~tapaal-contributor/tapaal/open-on-windows-1868525
⇒
lp:tapaal
|
Merged |
Peter Haahr Taankvist
|