Skip to content
Snippets Groups Projects
Select Git revision
  • 5be5d222e261f70dc08fdef290a917ef02749d9d
  • main default protected
  • devel2
  • release
  • devel
5 results

TaskAndTimeTimJahn.txt

Blame
  • user avatar
    issue #8, #9 seem fixed; visibility of 'input signal'/'reset markings'...
    tj authored
    issue #8, #9 seem fixed; visibility of 'input signal'/'reset markings' constrained to transitions/places - their reference versions do not show this option either; updated TaskAndTimeTimJahn.txt; remaining tasks: fixing order of elements in the diagram view - arcs and references should never be hidden by other elemnts, renaming files and related references from 'tasklist' to 'pnml'
    5be5d222
    History
    TaskAndTimeTimJahn.txt 16.27 KiB