TLA Resources
Misc
User Tools
Sidebar
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.
- Main TLA+ Site (as of September 201)
- At the above site, TLA+ ToolBox/IDE (version 1.6) can be downloaded https://lamport.azurewebsites.net/tla/tla.html\here.
- The JAR file is obtainable here. This is referenced from an Standalone Tools Overview.
tla/latex.1567442041.txt.gz · Last modified: 2019/09/02 16:34 by jonathan
