Refactor tactic applications
Without a way to reproduce this bug, we cannot fix it.
Error while running tool (Automatic Proof Obligation Manager)
This is indeed a bug, but without additional input, we have no way to reproduce it,...
Opening a proved proof - prune the proof
Constant correct, but still see red underline.
No answer to my question, so no way to analyse this bug.
Fix issue with combo boxes in TheoryPath editor