kmx git
login
register
kmx.io
/
prism.js
/
components/prism-coq.js
components/prism-coq.js
Branch
- branch -
master
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)