понедельник, 20 июля 2020 г., 17:07:17 UTC+3 пользователь alex....@xxxxxxxxx написал:
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 написал:Hi all.
My cyrillic comments are not displayed in a pdf version of a spec. Aside from this everything looks good. Please help ).
Checked settings in the miktex console, all languages are on...Alex.