Ajout d'un "\" pour proteger un autre "\" et ainsi etre compatible avec ocaml 3.03 malgre un bug de lexing dans camlp4.
Ajout d'un "\" pour proteger un autre "\" et ainsi etre compatible avec
ocaml 3.03 malgre un bug de lexing dans camlp4.


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

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