equal
deleted
inserted
replaced
1 \documentclass[12pt]{report} |
1 \documentclass[12pt,a4paper]{report} |
2 \usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../pdfsetup} |
2 \usepackage{graphicx,../iman,../extra,../proof,../rail,../pdfsetup} |
3 |
3 |
4 %% $Id$ |
4 %% $Id$ |
5 %%\includeonly{} |
5 %%\includeonly{} |
6 %%% 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} |
7 %%% to delete old ones: \\indexbold{\*[^}]*} |
7 %%% to delete old ones: \\indexbold{\*[^}]*} |