réparation de la protection contre les clauses indiscernables de TACTIC EXTEND et VERNAC COMMAND EXTEND
réparation de la protection contre les clauses indiscernables de TACTIC EXTEND et VERNAC COMMAND EXTEND


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

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