PROBCORE-388 New method in state space for the evaluation of formulas with a selection of states and for all states
tutorial13
Merge remote-tracking branch 'origin/develop' into feature/presentation
Should fix PROBCORE-389
Merge remote-tracking branch 'origin/develop' into feature/presentation
PROBCORE-387 Submit button for transition diagram now works again.
more work on presentation
allow to get an Event by name
Merge remote-tracking branch 'origin/develop' into feature/presentation
Merge branch 'develop' into feature/presentation