now remembering partial proof and replaying them on focus change
now remembering partial proof and replaying them on focus change

Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq