Petit changement dans la gestion des nouveaux labels d'état (pour le backtrack en mode emacs): quand on fait un reset, on fait revenir le label courant au bon numéro (sinon d'anciens numéros toujours utilisés dans le buffer emacs deviennent obsolètes).
Petit changement dans la gestion des nouveaux labels d'état (pour le
backtrack en mode emacs): quand on fait un reset, on fait revenir le
label courant au bon numéro (sinon d'anciens numéros toujours utilisés
dans le buffer emacs deviennent obsolètes).


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

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