On 04.11.19 14:07, Saswata Paul wrote:
> Hi,
>
> I have been trying to embed TLA typeset formulas in a Latex
> document. I have gone through the instructions for downloading and
> installing the tools
> at https://lamport.azurewebsites.net/tla/standalone-tools.html?back-link=tools.html#tlatex?unhideBut@EQhide-tlatex@AMPunhideDiv@EQtlatex
>
>
> I am using Windows. The instructions in the page includes the
> following -
> "Let's suppose that
> your folder is c:\user\myfolder . This will create a subfolder of
> myfolder named tla that has three subfolders, each containing one of
> the tools. You must then add c:\user\myfolder\tla to your CLASSPATH
> variable."
Don't unzip and forget CLASSPATH. Instead try:
$ java -cp /path/to/tla2tools.jar tla2tex.TeX My_file.tex
Best
Markus
--
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/quIUFoR9thM/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/e89b3bfb-0b78-abfc-bca7-8245f447d711%40lemmster.de.