Coq: Improved attribute pattern performance#3085

RunDevelopment merged 2 commits intoPrismJS:masterPrismJS/prism:masterfrom

RunDevelopment:coq-attr-perfRunDevelopment/prism:coq-attr-perfCopy head branch name to clipboard