tla:latex

This is an old revision of the document!

Latex Command Line Options

In order to incorporate TLA+ in LaTex sources it is best to download the JAR file for Standalone Tools.

Main TLA+ Site (as of September 2019, version 1.60)
- At the above site, TLA+ ToolBox/IDE (version 1.6) can be downloaded here.
- The JAR file is obtainable here. This is referenced from Standalone Tools Overview.
- Documentation for command line tools

I have done the following

alias tla2tex="java -cp /usr/local/tla-tools/tla2tools.jar tla2tex.TLA" 
alias tlaintex="java -cp /usr/local/tla-tools/tla2tools.jar tla2tex.TeX"

Convert a TLA file to TeX file

tla2tex model.tla

This will produce tla.tex.

tla/latex.1567442306.txt.gz · Last modified: 2019/09/02 16:38 by jonathan