Differences

This shows you the differences between two versions of the page.

--- tla:latex [2019/09/02 16:51]
jonathan
+++ tla:latex [2019/09/02 17:00] (current)
jonathan [More Documentation]
@@ Line 26: / Line 26: @@
 <code>
-tla2tex model.tex
+tlaintex model.tex
 </code>
@@ Line 46: / Line 46: @@
 \end{document}
 </code>
+The style file ''tlatex.sty'' must be available. The above produces a LaTeX file ''model.tex'' where the tla environment is set to mathematics. The original'' model.tex'' file is renamed ''model.old''.
 ==== Style file ====
@@ Line 51: / Line 53: @@
 The style file ''tlatex.sty'' is available [[:latex:sty|here]].
+==== More Documentation ====
+If you are not using the JAR file, you will probably run TLATeX by typing
+   java tla2tex.TeX [options] fileName
+where [options] is an optional list of options, and ''fileName'' is the
+name of the input file.  (If ''fileName'' does not contain an extension,
+then the input file is ''fileName.tex''.)  Running TLATeX with the -help
+option produces a list of all options.  Running it with the -info
+option produces what you are now reading.  (The fileName can be
+omitted when using the -help or -info option.)
+The running time of tla2tex.TeX is roughly proportional to the number
+of separate `tla' environments.  You can speed things up by not
+having tla2tex.TeX reprocess `tla' environments that haven't changed
+since the last time it was run.  To do this, just change those
+`tla' environments to `notla' environments.  Similarly, you can change
+`pcal' and `ppcal' to `nopcal' or `noppcal' environments.
+Read [[https://lamport.azurewebsites.net/tla/texinfo.txt|here]] for more.

Software Engineering Documentation

User Tools

Site Tools

Differences

Page Tools