kmx.io/prism.js/components/prism-coq.js

---

components/prism-coq.js

---

Log

Author	Commit	Date	CI	Message
	2f9672aa	2021-09-26T12:33:53		Coq: Improved attribute pattern performance (#3085)
	e2630d89	2021-09-26T11:52:18		ESLint: Added `regexp/sort-alternatives` rule (#3093)
	41e25d3c	2021-03-25T12:42:58		Added support for Coq (#2803)