# HG changeset patch
# User lcp
# Date 767956628 -7200
# Node ID d9ebca601847cc65a1e0bc8846c7ecf3cd300a29
# Parent  0ddc495e8b83308f4600f0c9f23ba02d9df143ee
post-CRC corrections

diff -r 0ddc495e8b83 -r d9ebca601847 doc-src/iman.sty
--- a/doc-src/iman.sty	Tue May 03 10:52:32 1994 +0200
+++ b/doc-src/iman.sty	Tue May 03 11:17:08 1994 +0200
@@ -17,11 +17,29 @@
 \newcommand\fnote[1]{#1n}
 \newcommand\indexbold[1]{\index{#1|bold}}
 
+%for indexing constants, symbols, theorems, ...
+\newcommand\cdx[1]{{\tt#1}\index{#1@{\tt#1} constant}}
+\newcommand\sdx[1]{{\tt#1}\index{#1@{\tt#1} symbol}}
+
+\newcommand\tdx[1]{{\tt#1}\index{#1@{\tt#1} theorem}}
+\newcommand\tdxbold[1]{{\tt#1}\index{#1@{\tt#1} theorem|bold}}
+
+\newcommand\mltydx[1]{{\tt#1}\index{#1@{\tt#1} ML type}}
+\newcommand\xdx[1]{{\tt#1}\index{#1@{\tt#1} exception}}
+
+\newcommand\ndx[1]{{\tt#1}\index{#1@{\tt#1} nonterminal}}
+\newcommand\ndxbold[1]{{\tt#1}\index{#1@{\tt#1} nonterminal|bold}}
+
+\newcommand\cldx[1]{{\tt#1}\index{#1@{\tt#1} class}}
+\newcommand\tydx[1]{{\tt#1}\index{#1@{\tt#1} type}}
+\newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}}
+
 %for cross-references: 2nd argument (page number) is ignored
 \newcommand\see[2]{{\it see \/}{#1}}
 \newcommand\seealso[2]{{\it see also \/}{#1}}
 
 %set argument in \tt font; at the sime time, index using * prefix
+\newcommand\rmindex[1]{{#1}\index{#1}\@}
 \newcommand\ttindex[1]{{\tt#1}\index{*#1}\@}
 \newcommand\ttindexbold[1]{{\tt#1}\index{*#1|bold}\@}
 
@@ -85,6 +103,7 @@
 
 \def\ML{{\sc ml}}
 \def\OBJ{{\sc obj}}
+\def\AST{{\sc ast}}
 
 \def\LCF{{\tt LCF}\@}
 \def\FOL{{\tt FOL}\@}
@@ -104,6 +123,14 @@
 \def\sloppy{\tolerance2000 \hfuzz.5pt \vfuzz.5pt \emergencystretch=15pt}
 \def\fussy{\tolerance200 \hfuzz.1pt \vfuzz.1pt \emergencystretch=0pt}
 
+%%%% \tt things
+
+\def\ttdescriptionlabel#1{\hspace\labelsep \tt #1}
+\def\ttdescription{\list{}{\labelwidth\z@ \itemindent-\leftmargin
+       \let\makelabel\ttdescriptionlabel}}
+
+\let\endttdescription\endlist
+
 \chardef\ttilde=`\~     % A tilde for \tt font
 \chardef\ttback=`\\     % A backslash for \tt font
 \chardef\ttlbrace=`\{   % A left brace for \tt font
diff -r 0ddc495e8b83 -r d9ebca601847 doc-src/mathsing.sty
--- a/doc-src/mathsing.sty	Tue May 03 10:52:32 1994 +0200
+++ b/doc-src/mathsing.sty	Tue May 03 11:17:08 1994 +0200
@@ -1,6 +1,7 @@
 %% edited by LCP!!  
+%%   Modified page break penalties
 %%   Commented out the change to \newlinechar
-%%   Increased space in Contents
+%%   Increased space in Contents and List of Figures
 %%   Changed \thebibliography to the defn in llncs.sty
 %%   Added ttbox
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -99,9 +100,10 @@
 \abovedisplayshortskip=0.0 mm plus7.2pt minus 2.4pt
 \belowdisplayshortskip=2.4 mm plus4.8pt minus 4.8pt
 
-\predisplaypenalty=0          % penalties for page break
-\clubpenalty=10000            %
-\widowpenalty=10000           %
+%%LCP: were 0, 10000, 10000
+\predisplaypenalty=100        % penalties for page break
+\clubpenalty=400              %
+\widowpenalty=400             %
 
 
 %
@@ -346,6 +348,7 @@
 
 %copied from book.sty to leave room for 12.11, etc. -- Frank Holzwarth via LCP
 \def\l@section{\@dottedtocline{1}{1.5em}{2.8em}}
+\def\l@figure{\@dottedtocline{1}{1.5em}{2.8em}}
 
 %
 %     Adaption of \tableofcontents (title,headings,pagenumber)