Copie des .cma et des .cmxa, et de grammar.cma dans le répertoire de Coq (pour faciliter la compilation des tactiques ml par les utilisateurs)
Copie des .cma et des .cmxa, et de grammar.cma dans le répertoire de Coq (pour faciliter la compilation des tactiques ml par les utilisateurs)

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

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