cyrillic comments in pdf version

41 views
Skip to first unread message

Alex Tim

unread,
Jul 13, 2020, 4:56:27 PM7/13/20
to tlaplus
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.

alex....@gmail.com

unread,
Jul 20, 2020, 10:07:17 AM7/20/20
to tlaplus
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 написал:

Alex Tim

unread,
Jul 21, 2020, 3:24:16 AM7/21/20
to tlaplus
Thanks a lot. It works

понедельник, 20 июля 2020 г., 17:07:17 UTC+3 пользователь alex....@gmail.com написал:
Reply all
Reply to author
Forward
0 new messages