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

---

components/prism-mizar.js

---

Log

Author	Commit	Date	CI	Message
	79d22182	2021-06-08T13:50:35		FIxed some cases of quadratic worst-case runtime (#2922)
	01cc18ed	2021-05-25T12:49:30		ESLint: Added eol-last rule (#2902)
	82ba23b8	2015-09-07T08:11:26		Mizar: Fixed @proof keyword
	e90c74e3	2015-07-03T08:25:55		Add support for Mizar