Restore documentation of library String which was removed in 2007 (r10049) probably inadvertantly since it is not reported in the commit log. (Thanks to Cédric who noticed it.)
Restore documentation of library String which was removed in 2007 (r10049)
probably inadvertantly since it is not reported in the commit log.
(Thanks to Cédric who noticed it.)

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

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