lp:~tapaal-contributor/tapaal/cpn-gui-TikZ-support

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:~tapaal-contributor/tapaal/cpn-gui-dev at revision 1622

Jiri Srba: Approve on 2022-03-10

Kenneth Yrke Jørgensen: Pending (code) requested 2022-03-07

Diff: 491 lines (+206/-139)

1 file modified

src/net/tapaal/export/TikZExporter.java (+206/-139)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1579. By Kristian Morsing Pedersen <email address hidden> on 2022-03-09

Changed x -> \times in inhibitor arcs

1578. By Kristian Morsing Pedersen <email address hidden> on 2022-03-07

Removed redundant \\ and changed 0,0 -> 0.0 for age of tokens in initial markings

1577. By Kristian Morsing Pedersen <email address hidden> on 2022-03-06

Resolved merge conflicts

1576. By Kristian Morsing Pedersen <email address hidden> on 2022-03-06

Changed default pos of arc labels to 0.5

1575. By Kristian Morsing Pedersen <email address hidden> on 2022-02-21

Labels with multiple lines on arcs now displays correctly

1574. By Kristian Morsing Pedersen <email address hidden> on 2022-02-17

Merged with cpn-gui-dev

1573. By Kristian Morsing Pedersen <email address hidden> on 2022-02-17

Added new adjustment options for labels on arcs, places and transitions

1572. By Kristian Morsing Pedersen <email address hidden> on 2022-02-09

Removed subscripting from place- and transition names, and changed \mathrm to \mathit

1571. By Kristian Morsing Pedersen <email address hidden> on 2022-02-09

Merged changes from cpn-gui-dev branch

1570. By Kristian Morsing Pedersen <email address hidden> on 2022-02-09

Applied math-mode to colors