[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Re: cyrillic comments in pdf version


You should add these lines to tlatex.sty manually:

\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...


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/4411e751-f805-4980-a506-6c13dc03bb38o%40googlegroups.com.