#83 theorems view refresh exception (2)

[Leo Freitas]

when prover is reset / or when projects that have been proved get closed, the theorems list gets into a funny / inconsistent state.
a quick-dirty solution is to close the view and open it again, which refreshs nicely. The refresh button leads to some exceptions,
mostly NPE....