kmx git
login
register
kmx.io
/
prism.js
/
components/prism-coq.min.js
components/prism-coq.min.js
Log
Author
Commit
Date
CI
Message
11c54624
2022-03-22T22:32:52
Use terser (#3407)
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)