kmx git
login
register
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