proveit.
reset
Clear all references to Prove-It information. This should make a clean slate w.r.t. Prove-It.