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

[tlaplus] Re: cyrillic comments in pdf version



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.

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