ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.fxml · bc6fe5ad59b368f1aa87b27c02116b0fd40987da · sarah.grebing / ProofScriptParser · GitLab

Find file Blame History Permalink

$LULUDBR\Lulu's avatar$
recognizing and saving of Savepoints + updating combobox · bc6fe5ad
LULUDBR\Lulu authored May 07, 2018
```
missing: saving of Proofs in SaveCommand -> need access from SaveCommand to DebuggerMain
```
bc6fe5ad