kmx git
login
register
kmx.io
/
prism.js
/
components/prism-mizar.min.js
components/prism-mizar.min.js
Branch
- branch -
master
Log
Author
Commit
Date
CI
Message
e2630d89
2021-09-26T11:52:18
ESLint: Added `regexp/sort-alternatives` rule (#3093)
79d22182
2021-06-08T13:50:35
FIxed some cases of quadratic worst-case runtime (#2922)
82ba23b8
2015-09-07T08:11:26
Mizar: Fixed @proof keyword
e90c74e3
2015-07-03T08:25:55
Add support for Mizar