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

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

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


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/e89b3bfb-0b78-abfc-bca7-8245f447d711%40lemmster.de.