Problème avec le choix d'introduire une indirection vers un rawconstr pour les extensions de grammaire par Grammar; pose p.ex. problème pour la résolution des implicites. Pour l'instant, une rustine pour contourner le problème
Problème avec le choix d'introduire une indirection vers un rawconstr pour
les extensions de grammaire par Grammar; pose p.ex. problème pour la
résolution des implicites. Pour l'instant, une rustine pour contourner
le problème


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

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