User Tools
tla:latex
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
tla:latex [2019/09/02 16:59] jonathan [More Documentation] |
tla:latex [2019/09/02 17:00] (current) jonathan [More Documentation] |
||
|---|---|---|---|
| Line 72: | Line 72: | ||
| `pcal' and `ppcal' to `nopcal' or `noppcal' environments. | `pcal' and `ppcal' to `nopcal' or `noppcal' environments. | ||
| - | The only other thing you probably need to know about using tla2tex.TeX | + | Read [[https://lamport.azurewebsites.net/tla/texinfo.txt|here]] for more. |
| - | is how to shade comments, which is explained in the next section. | + | |
tla/latex.1567443566.txt.gz · Last modified: 2019/09/02 16:59 by jonathan
Page Tools
