|
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)
|
|
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
|