equal
deleted
inserted
replaced
1 \documentclass[12pt]{report} |
1 \documentclass[12pt]{report} |
2 \usepackage{a4} |
2 \usepackage{a4,../iman,../extra,../proof,../rail} |
3 |
|
4 \makeatletter |
|
5 \input{../proof.sty} |
|
6 \input{../rail.sty} |
|
7 \input{../iman.sty} |
|
8 \input{../extra.sty} |
|
9 \makeatother |
|
10 |
3 |
11 %% $Id$ |
4 %% $Id$ |
12 %%\includeonly{} |
5 %%\includeonly{} |
13 %%% to index ids: \[\\tt \([a-zA-Z0-9][a-zA-Z0-9_'.]*\) [\\ttindexbold{\1} |
6 %%% to index ids: \[\\tt \([a-zA-Z0-9][a-zA-Z0-9_'.]*\) [\\ttindexbold{\1} |
14 %%% to delete old ones: \\indexbold{\*[^}]*} |
7 %%% to delete old ones: \\indexbold{\*[^}]*} |