Skip to content
Snippets Groups Projects
Tim Jahn's avatar
  • 1ecb4317 · removed remaining working time from TaskAndTime to put them into th...
Tim Jahn's avatar
  • de1922d6 · added worktime and marked booked hours in TaskAndTime
Tim Jahn's avatar
  • cfe0a8b5 · added notes on current issues to TaskAndTime
Tim Jahn's avatar
  • 71ed4662 · removed grayed out options from ricght click menu; researched cause...
Tim Jahn's avatar
  • 0d8a1a89 · adding local changes before going home
Sebastian Ebert's avatar
Sebastian Ebert's avatar
Sebastian Ebert's avatar
deleted branch devel2main at DiNeROS / DiNeROS 1 / PNML Petri Net Editor
Tim Jahn's avatar
  • 5be5d222 · issue #8, #9 seem fixed; visibility of 'input signal'/'reset markin...
Tim Jahn's avatar
Sebastian Ebert's avatar
opened issue #9 "Cant create server pages in node pages" at DiNeROS / DiNeROS 1 / PNML Petri Net Editor
Sebastian Ebert's avatar
opened issue #8 "Cant create pages in node pages" at DiNeROS / DiNeROS 1 / PNML Petri Net Editor
Sebastian Ebert's avatar
Sebastian Ebert's avatar
closed issue #5 "Non-relevant options are available on certain elements" at DiNeROS / DiNeROS 1 / PNML Petri Net Editor
Sebastian Ebert's avatar
Sebastian Ebert's avatar
pushed new branch devel2main at DiNeROS / DiNeROS 1 / PNML Petri Net Editor
Tim Jahn's avatar
  • cd69b388 · added working time for 19.01.2025 and marked reported time slots fo...
Tim Jahn's avatar
  • c329fec6 · fixed issue #5: all elements like channels; goal: input only for tr...
Tim Jahn's avatar
  • b19ff8e2 · issue #4 seems fixed; I added a nodepage, which is basically a norm...
Tim Jahn's avatar