Improving reference manual in that auto uses simple apply rather than apply.
Improving reference manual in that auto uses simple apply rather than apply.

Still, there are small differences, e.g. on
"use_metas_eagerly_in_conv_on_closed_terms", but also maybe in some
amount of use of delta that Matthieu would know better than me if it
matters or not in practice.

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