Déclaration des record au chargement (ce n'est pas une question de visibilité mais d'interprétation au niveau global)
Déclaration des record au chargement (ce n'est pas une question de visibilité mais d'interprétation au niveau global)


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

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