equal
deleted
inserted
replaced
1 %% $Id$ |
1 %% $Id$ |
2 \documentclass[12pt,a4paper]{report} |
2 \documentclass[12pt,a4paper]{report} |
3 \usepackage{graphicx,../iman,../extra,../ttbox,../proof,../rail,latexsym,../pdfsetup} |
3 \usepackage{graphicx,../iman,../extra,../ttbox,../proof,../rail,../railsetup,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} |
25 \texttt{wenzelm@in.tum.de}}} |
25 \texttt{wenzelm@in.tum.de}}} |
26 |
26 |
27 \newcommand\subcaption[1]{\par {\centering\normalsize\sc#1\par}\bigskip |
27 \newcommand\subcaption[1]{\par {\centering\normalsize\sc#1\par}\bigskip |
28 \hrule\bigskip} |
28 \hrule\bigskip} |
29 \newenvironment{constants}{\begin{center}\small\begin{tabular}{rrrr}}{\end{tabular}\end{center}} |
29 \newenvironment{constants}{\begin{center}\small\begin{tabular}{rrrr}}{\end{tabular}\end{center}} |
|
30 |
|
31 \newcommand\bs{\char '134 } % A backslash character for \tt font |
30 |
32 |
31 \makeindex |
33 \makeindex |
32 |
34 |
33 \underscoreoff |
35 \underscoreoff |
34 |
36 |