1.1 --- a/doc-src/iman.sty	Tue May 03 10:52:32 1994 +0200
     1.2 +++ b/doc-src/iman.sty	Tue May 03 11:17:08 1994 +0200
     1.3 @@ -17,11 +17,29 @@
     1.4  \newcommand\fnote[1]{#1n}
     1.5  \newcommand\indexbold[1]{\index{#1|bold}}
     1.6  
     1.7 +%for indexing constants, symbols, theorems, ...
     1.8 +\newcommand\cdx[1]{{\tt#1}\index{#1@{\tt#1} constant}}
     1.9 +\newcommand\sdx[1]{{\tt#1}\index{#1@{\tt#1} symbol}}
    1.10 +
    1.11 +\newcommand\tdx[1]{{\tt#1}\index{#1@{\tt#1} theorem}}
    1.12 +\newcommand\tdxbold[1]{{\tt#1}\index{#1@{\tt#1} theorem|bold}}
    1.13 +
    1.14 +\newcommand\mltydx[1]{{\tt#1}\index{#1@{\tt#1} ML type}}
    1.15 +\newcommand\xdx[1]{{\tt#1}\index{#1@{\tt#1} exception}}
    1.16 +
    1.17 +\newcommand\ndx[1]{{\tt#1}\index{#1@{\tt#1} nonterminal}}
    1.18 +\newcommand\ndxbold[1]{{\tt#1}\index{#1@{\tt#1} nonterminal|bold}}
    1.19 +
    1.20 +\newcommand\cldx[1]{{\tt#1}\index{#1@{\tt#1} class}}
    1.21 +\newcommand\tydx[1]{{\tt#1}\index{#1@{\tt#1} type}}
    1.22 +\newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}}
    1.23 +
    1.24  %for cross-references: 2nd argument (page number) is ignored
    1.25  \newcommand\see[2]{{\it see \/}{#1}}
    1.26  \newcommand\seealso[2]{{\it see also \/}{#1}}
    1.27  
    1.28  %set argument in \tt font; at the sime time, index using * prefix
    1.29 +\newcommand\rmindex[1]{{#1}\index{#1}\@}
    1.30  \newcommand\ttindex[1]{{\tt#1}\index{*#1}\@}
    1.31  \newcommand\ttindexbold[1]{{\tt#1}\index{*#1|bold}\@}
    1.32  
    1.33 @@ -85,6 +103,7 @@
    1.34  
    1.35  \def\ML{{\sc ml}}
    1.36  \def\OBJ{{\sc obj}}
    1.37 +\def\AST{{\sc ast}}
    1.38  
    1.39  \def\LCF{{\tt LCF}\@}
    1.40  \def\FOL{{\tt FOL}\@}
    1.41 @@ -104,6 +123,14 @@
    1.42  \def\sloppy{\tolerance2000 \hfuzz.5pt \vfuzz.5pt \emergencystretch=15pt}
    1.43  \def\fussy{\tolerance200 \hfuzz.1pt \vfuzz.1pt \emergencystretch=0pt}
    1.44  
    1.45 +%%%% \tt things
    1.46 +
    1.47 +\def\ttdescriptionlabel#1{\hspace\labelsep \tt #1}
    1.48 +\def\ttdescription{\list{}{\labelwidth\z@ \itemindent-\leftmargin
    1.49 +       \let\makelabel\ttdescriptionlabel}}
    1.50 +
    1.51 +\let\endttdescription\endlist
    1.52 +
    1.53  \chardef\ttilde=`\~     % A tilde for \tt font
    1.54  \chardef\ttback=`\\     % A backslash for \tt font
    1.55  \chardef\ttlbrace=`\{   % A left brace for \tt font

     2.1 --- a/doc-src/mathsing.sty	Tue May 03 10:52:32 1994 +0200
     2.2 +++ b/doc-src/mathsing.sty	Tue May 03 11:17:08 1994 +0200
     2.3 @@ -1,6 +1,7 @@
     2.4  %% edited by LCP!!  
     2.5 +%%   Modified page break penalties
     2.6  %%   Commented out the change to \newlinechar
     2.7 -%%   Increased space in Contents
     2.8 +%%   Increased space in Contents and List of Figures
     2.9  %%   Changed \thebibliography to the defn in llncs.sty
    2.10  %%   Added ttbox
    2.11  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    2.12 @@ -99,9 +100,10 @@
    2.13  \abovedisplayshortskip=0.0 mm plus7.2pt minus 2.4pt
    2.14  \belowdisplayshortskip=2.4 mm plus4.8pt minus 4.8pt
    2.15  
    2.16 -\predisplaypenalty=0          % penalties for page break
    2.17 -\clubpenalty=10000            %
    2.18 -\widowpenalty=10000           %
    2.19 +%%LCP: were 0, 10000, 10000
    2.20 +\predisplaypenalty=100        % penalties for page break
    2.21 +\clubpenalty=400              %
    2.22 +\widowpenalty=400             %
    2.23  
    2.24  
    2.25  %
    2.26 @@ -346,6 +348,7 @@
    2.27  
    2.28  %copied from book.sty to leave room for 12.11, etc. -- Frank Holzwarth via LCP
    2.29  \def\l@section{\@dottedtocline{1}{1.5em}{2.8em}}
    2.30 +\def\l@figure{\@dottedtocline{1}{1.5em}{2.8em}}
    2.31  
    2.32  %
    2.33  %     Adaption of \tableofcontents (title,headings,pagenumber)