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

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

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