lp:~yrke/tapaal/gui-refactor

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

663. By Kenneth Yrke Jørgensen on 2012-02-22

Removed file Pipe.java

662. By Kenneth Yrke Jørgensen on 2012-02-22

Moved constants from Pipe.java to Constants.java

661. By Jiri Srba on 2012-02-21

fixed dialog message "Select Tokens"

660. By Jakob Taankvist on 2012-02-20

Simulation mode contains a new panel with enabled transitions and all panels in
the simulation mode are now resizable. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

659. By Jiri Srba on 2012-02-17

updated About

658. By Jiri Srba on 2012-02-17

Number of tokens in a place is now limited to 999. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

657. By Jakob Taankvist on 2012-02-17

The token selection mode in simulator is now not hotkey sensitive any more. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

656. By Jakob Taankvist on 2012-02-17

Fixes the problem of untimed trace generation when shared transitions were involved. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

655. By Mathias Andersen on 2012-02-15

Info about verification engines has been moved to Tools, item Verification Engines. It is now allowed to be reset and selection of new engine is possible too. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

654. By Jakob Taankvist on 2012-02-08

Made all the panels in the edit mode sortable by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba