Марафет

[mathhyyn]

• Удаление ловушки при вызове обычных Determinize / Minimize

  152

  (ловушки остаются при вызове Determinize+ / Minimize+)

[xendalm]

Мне все нравится, меня можно ревьюером не звать)

[TonitaN]

Насчёт ^, ломающего логи. Либо придётся имплементировать рефал-стиль в logtemplate (как сделано сейчас у Ани), потому что даже простой report.tex ломается (^ допустим только в мат.режиме), либо придётся менять символ. Дополнительная неприятность заключается в том, что в регексах этот знак тоже перегружен (отрицание CharClass и одновременно начало строки). А у нас он не только в CharClass, а в общем положении. Поэтому гипотетически мы можем и заменить его чем-нибудь, и истина (т.е. совместность со стандартным синтаксисом) при этом не пострадает.

[xendalm]

Рефал стиль у Ани это replace регуляркой?? Или я чего-то еще не заметил

[TonitaN]

Ну там-то выхода нет - ломается весь тех иначе.

[TonitaN]

Сделано чуть хуже логирование (слова и правила смешиваются - и виной тому не рефал, а to_txt метод - напоминание, что нужно отрефакторить), но без template.