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