| changeset 26779 | 35809287ab23 |
| parent 26767 | cc127cc0951b |
| child 26782 | 19363c70b5c4 |
| 26778:378bdbce68e6 | 26779:35809287ab23 |
|---|---|
2 |
2 |
3 \input{syntax.tex} |
3 \input{syntax.tex} |
4 |
4 |
5 \input{pure.tex} |
5 \input{pure.tex} |
6 |
6 |
7 \input{Quick_Reference.tex} |
|
8 |
|
7 %%% Local Variables: |
9 %%% Local Variables: |
8 %%% mode: latex |
10 %%% mode: latex |
9 %%% TeX-master: "root" |
11 %%% TeX-master: "root" |
10 %%% End: |
12 %%% End: |