Make sure the initial state used in a protected loop is the state chose exactly at the time the protected loop was started.  This makes it possible to have modifications of commands specific to the protected loop remembered throughout the session.
Make sure the initial state used in a protected loop is the state chose exactly
at the time the protected loop was started.  This makes it possible
to have modifications of commands specific to the protected loop remembered
throughout the session.


git-svn-id: 44dc50bdcc0f5d1a212c497508dc9452e0b35e2b@1371 85f007b7-540e-0410-9357-904b9bb8a0f7

8l/coq,TOSPIO/coq,Matafou/coq,letouzey/coq-wip,mlasson/coq,8l/coq,ppedrot/coq,pirapira/coq2rust,asr/coq,Zimmi48/coq,aspiwack/coq,pirapira/coq2rust,letouzey/coq-wip,8l/coq,amintimany/coq,maximedenes/coq,TOSPIO/coq,jhjourdan/coq,jhjourdan/coq,TheTypoMaster/coq,aspiwack/coq,asr/coq,barras/coq,tomprince/coq,silene/coq,Lionel-Rieg/coq,barras/coq,SkySkimmer/coq,ejgallego/coq,ppedrot/coq,herbelin/coq-hh,Zimmi48/coq,shindere/coq,silene/coq,maximedenes/coq,Lionel-Rieg/coq,pirbo/coq,coq/coq,jpdeplaix/coq,barras/coq,SkySkimmer/coq,TOSPIO/coq,pirbo/coq,shindere/coq,tomprince/coq,JasonGross/coq,herbelin/github-coq,coq/coq,ale-f/coq,william-lawvere/coq,Matafou/coq,coq/coq,tomprince/coq,Matafou/coq,ale-f/coq,Lionel-Rieg/coq,amintimany/coq,silene/coq,gares/coq,mattam82/Coq-misc,Zimmi48/coq,JasonGross/coq,pirbo/coq,william-lawvere/coq,mattam82/coq,ppedrot/coq,mattam82/coq,gmalecha/coq,gares/coq,SkySkimmer/coq,ejgallego/coq,JasonGross/coq,william-lawvere/coq,TheTypoMaster/coq,jpdeplaix/coq,letouzey/coq-wip,shindere/coq,ppedrot/coq,maximedenes/coq,Zimmi48/coq,ale-f/coq,pirapira/coq2rust,mlasson/coq,Ptival/coq,maximedenes/coq,coq/coq,ejgallego/coq,gares/coq,ppedrot/coq,maximedenes/coq,herbelin/coq-hh,TheTypoMaster/coq,mattam82/Coq-misc,ejgallego/coq,gmalecha/coq,gares/coq,jpdeplaix/coq,Ptival/coq,aspiwack/coq,letouzey/coq-wip,herbelin/github-coq,SkySkimmer/coq,mattam82/coq,gmalecha/coq,mlasson/coq,Ptival/coq,asr/coq,amintimany/coq,jhjourdan/coq,gares/coq,letouzey/coq-wip,herbelin/github-coq,JasonGross/coq