Closed SrutiG closed 5 years ago
Delete a goal and all steps/proofs associated with it. Also reload on save/update goal.
Delete a goal and all steps/proofs associated with it. Also reload on save/update goal.