Closed windsteiger closed 11 years ago
Writing proof information into notebook should be done in one stroke, otherwise "Proof of ..." might remain in notebook when proof is aborted, which confuses the system when the proof is done next time. Write all info when proof is finished.
Writing proof information into notebook should be done in one stroke, otherwise "Proof of ..." might remain in notebook when proof is aborted, which confuses the system when the proof is done next time. Write all info when proof is finished.