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

Re: [tlaplus] Embedding TLA typeset rules in a Latex document



   I will try this out as well. Thank you!

On Mon, Nov 4, 2019 at 6:03 PM Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx> wrote:
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.

--
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/CAHeFUE9r111p0dEhK6xju3zEx9mOU833sPJpKC2C0jUjt57Uig%40mail.gmail.com.