Evars introduced by Proofview refining are flagged as GoalEvar. For some reasons, some code depends on it.
Evars introduced by Proofview refining are flagged as GoalEvar. For some
reasons, some code depends on it.

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