Issues · sarah.grebing / ProofScriptParser

Compact script after exiting interactive mode 2 of 2 tasks completed

#56 · opened Oct 17, 2018 by uudmk Feature
- CLOSED
- 1
- 0
updated Nov 14, 2018
Add Variable View to GoalOptionsView 5 of 7 tasks completed

#55 · opened Sep 24, 2018 by sarah.grebing Feature Requirement
- CLOSED
- 1
- 0
updated Nov 23, 2018
Autocompletion does not work as intended

#52 · opened Sep 19, 2018 by sarah.grebing Blocking Feature Requirement
- CLOSED
- 1
- 0
updated Oct 05, 2018
Savepoint

#51 · opened Apr 29, 2018 by uudmk Feature
- 0
updated Apr 29, 2018
Option for clicking on script statement with contextmenu results in a new prostmortem tab with the selected state

#36 · opened Aug 25, 2017 by sarah.grebing Feature
- 0
updated Aug 25, 2017
Implement: show postmortem state for Interpreted script

#28 · opened Jun 20, 2017 by sarah.grebing Feature Complete 1.0 Feature To Do
- 0
updated Sep 01, 2017
Concept and Implemetation of Explorative Debug Features 0 of 3 tasks completed

#22 · opened Jun 06, 2017 by sarah.grebing Doing Feature
- CLOSED
- 2
updated Sep 25, 2018
Implement Filter for List of Goals 0 of 3 tasks completed

#19 · opened Jun 05, 2017 by alexander.weigl Feature
- 0
updated Sep 25, 2018
Support Interaction in Sequent View 2 of 2 tasks completed

#17 · opened Jun 05, 2017 by alexander.weigl Feature To Do
- CLOSED
- 0
updated Sep 25, 2018
Tabs for ScriptArea

#16 · opened Jun 05, 2017 by alexander.weigl Feature Complete 1.0 Feature To Do
- CLOSED
- 2
updated Nov 03, 2017