equal
deleted
inserted
replaced
1 %% $Id$ |
1 %% $Id$ |
2 \documentclass[12pt,a4paper]{report} |
2 \documentclass[12pt,a4paper]{report} |
3 \usepackage{graphicx,../iman,../extra,../proof,../rail,latexsym,../pdfsetup} |
3 \usepackage{graphicx,../iman,../extra,../ttbox,../proof,../rail,latexsym,../pdfsetup} |
4 |
4 |
5 %%% to index derived rls: ^\([a-zA-Z0-9][a-zA-Z0-9_]*\) \\tdx{\1} |
5 %%% to index derived rls: ^\([a-zA-Z0-9][a-zA-Z0-9_]*\) \\tdx{\1} |
6 %%% to index rulenames: ^ *(\([a-zA-Z0-9][a-zA-Z0-9_]*\), \\tdx{\1} |
6 %%% to index rulenames: ^ *(\([a-zA-Z0-9][a-zA-Z0-9_]*\), \\tdx{\1} |
7 %%% to index constants: \\tt \([a-zA-Z0-9][a-zA-Z0-9_]*\) \\cdx{\1} |
7 %%% to index constants: \\tt \([a-zA-Z0-9][a-zA-Z0-9_]*\) \\cdx{\1} |
8 %%% to deverbify: \\verb|\([^|]*\)| \\ttindex{\1} |
8 %%% to deverbify: \\verb|\([^|]*\)| \\ttindex{\1} |