Hi!
You should add these lines to tlatex.sty manually:
\usepackage[T2A]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[russian, english]{babel}
after \usepackage{color}
You may update this file in tla2tools.jar (in toolbox folder ot ther path)
понедельник, 13 июля 2020 г., 23:56:27 UTC+3 пользователь Alex Tim написал: