New experimental heuristic printing strategy for evar instances: We don't print bindings of the form "x:=x" unless there is also a binding "x':=x". Otherwise said, if a variable occurs several time, the binding where it occurs under the form "x:=x" is printed anyway.  This should help to understand where the instance is non trivial while still not obfuscating display in goals with very long list of uninteresting trivial instances.
New experimental heuristic printing strategy for evar instances: We
don't print bindings of the form "x:=x" unless there is also a binding
"x':=x". Otherwise said, if a variable occurs several time, the
binding where it occurs under the form "x:=x" is printed anyway.  This
should help to understand where the instance is non trivial while
still not obfuscating display in goals with very long list of
uninteresting trivial instances.

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