RAIRLab/Peirce-My-Heart

Proof history not generated for loaded proofs

Closed this issue · 0 comments

AnushaTiwari5 commented

When a proof is saved and then loaded in later, the history bar is not generated for the loaded proof