-
Compact script after exiting interactive mode 2 of 2 tasks completed#56 Feature
-
Add Variable View to GoalOptionsView 5 of 7 tasks completed
-
Concept and Implemetation of Explorative Debug Features 0 of 3 tasks completed
-
Implement Filter for List of Goals 0 of 3 tasks completed#19 Feature
-
Support Interaction in Sequent View 2 of 2 tasks completed