Menu
▾
▴
#387 Add possibility to view old proofs
When a proof obligation is removed, the proof remains saved in the .bpr file.
Currently, we can view a list of these old proofs in the "Purge Proofs..." window, but we can't do anything except purge them.
It could be useful to be able to open them, in the Proof Skeleton view for example.
