1.1 --- a/doc-src/IsarAdvanced/Functions/style.sty Mon Feb 16 20:49:39 2009 +0100
1.2 +++ b/doc-src/IsarAdvanced/Functions/style.sty Mon Feb 16 21:04:15 2009 +0100
1.3 @@ -1,6 +1,3 @@
1.4 -
1.5 -%% $Id$
1.6 -
1.7 %% toc
1.8 \newcommand{\tocentry}[1]{\cleardoublepage\phantomsection\addcontentsline{toc}{chapter}{#1}
1.9 \@mkboth{\MakeUppercase{#1}}{\MakeUppercase{#1}}}
1.10 @@ -10,13 +7,6 @@
1.11 \newcommand{\chref}[1]{chapter~\ref{#1}}
1.12 \newcommand{\figref}[1]{figure~\ref{#1}}
1.13
1.14 -%% glossary
1.15 -\renewcommand{\glossary}[2]{\nomenclature{\bf #1}{#2}}
1.16 -\newcommand{\seeglossary}[1]{\emph{#1}}
1.17 -\newcommand{\glossaryname}{Glossary}
1.18 -\renewcommand{\nomname}{\glossaryname}
1.19 -\renewcommand{\pagedeclaration}[1]{\nobreak\quad\dotfill~page~\bold{#1}}
1.20 -
1.21 %% index
1.22 \newcommand{\indexml}[1]{\index{\emph{#1}|bold}}
1.23 \newcommand{\indexmltype}[1]{\index{\emph{#1} (type)|bold}}