Skip to content

GitLab

P
ProofScriptParser
Closed
Opened by sarah.grebing@xt9634Maintainer5 of 7 tasks completed5/7 tasks
Report abuse New issue

Add Variable View to GoalOptionsView

  1. Add inspection Model
  2. Show new Window with table
  3. Fix Bug: model.getSelectedGoalNodeToShow().getAssignments() in GoalOptionsMenu.java:67 ins always empty; Example Contraposition + script varDecl()
  4. Add Tabpane with special ScriptVariables (starting with __)
  5. Prettify colum witdh
  6. Remove empty colums, needs css
  7. Write testcase/test
Edited by uudmk
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information