kmx git
login
register
kmx.io
/
prism.js
/
components/prism-mizar.min.js
components/prism-mizar.min.js
Log
Author
Commit
Date
CI
Message
82ba23b8
2015-09-07T08:11:26
Mizar: Fixed @proof keyword
e90c74e3
2015-07-03T08:25:55
Add support for Mizar