lp:~yrke/tapaal/fix1947835
Created by
Kenneth Yrke Jørgensen
and last modified
Only
Kenneth Yrke Jørgensen
can upload to this branch. If you are
Kenneth Yrke Jørgensen
please log in for upload directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
-
Diff: 103 lines (+10/-19)3 files modifiedsrc/dk/aau/cs/gui/TabContent.java (+2/-2)
src/dk/aau/cs/model/tapn/TimedTransition.java (+4/-6)
src/pipe/gui/Animator.java (+4/-11)
Related bugs
Bug #1947835: Using Delay & Fire does wong time delay | Medium | Fix Committed |
Related blueprints
Branch information
Recent revisions
This branch is empty.
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)