--- 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
--- 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)