changeset 42637 | 381fdcab0f36 |
parent 9695 | ec7d7f877712 |
42636:41dff1b862bf | 42637:381fdcab0f36 |
---|---|
1 %% $Id$ |
|
2 \documentclass[12pt,a4paper]{article} |
1 \documentclass[12pt,a4paper]{article} |
3 \usepackage{latexsym,../iman,../extra,../ttbox,../proof,../pdfsetup} |
2 \usepackage{latexsym,../iman,../extra,../ttbox,../proof,../pdfsetup} |
4 |
3 |
5 \newif\ifshort%''Short'' means a published version, not the documentation |
4 \newif\ifshort%''Short'' means a published version, not the documentation |
6 \shortfalse%%%%%\shorttrue |
5 \shortfalse%%%%%\shorttrue |