Ensuring that the evar name is preserved by "rename" as it is already the case for clear and the conversion tactics.
Ensuring that the evar name is preserved by "rename" as it is already
the case for clear and the conversion tactics.

gares/coq,silene/coq,ejgallego/coq,gares/coq,Zimmi48/coq,ppedrot/coq,ppedrot/coq,maximedenes/coq,letouzey/coq-wip,gares/coq,JasonGross/coq,letouzey/coq-wip,Lionel-Rieg/coq,maximedenes/coq,Ptival/coq,Matafou/coq,ppedrot/coq,Lionel-Rieg/coq,ejgallego/coq,JasonGross/coq,ppedrot/coq,maximedenes/coq,coq/coq,SkySkimmer/coq,maximedenes/coq,Zimmi48/coq,william-lawvere/coq,ejgallego/coq,letouzey/coq-wip,SkySkimmer/coq,coq/coq,silene/coq,Matafou/coq,JasonGross/coq,Lionel-Rieg/coq,Matafou/coq,amintimany/coq,letouzey/coq-wip,Zimmi48/coq,JasonGross/coq,william-lawvere/coq,SkySkimmer/coq,Ptival/coq,amintimany/coq,william-lawvere/coq,ppedrot/coq,silene/coq,gares/coq,amintimany/coq,Ptival/coq,maximedenes/coq,SkySkimmer/coq,gares/coq,ejgallego/coq,Zimmi48/coq,coq/coq,coq/coq,letouzey/coq-wip