doc-src/IsarImplementation/style.sty
changeset 29758 7a3b5bbed313
parent 26770 d688166808c0
child 29763 c0f2c8424848
     1.1 --- a/doc-src/IsarImplementation/style.sty	Mon Feb 16 21:04:15 2009 +0100
     1.2 +++ b/doc-src/IsarImplementation/style.sty	Mon Feb 16 21:23:33 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{\indexmlexception}[1]{\index{\emph{#1} (exception)|bold}}
    1.24 @@ -61,6 +51,7 @@
    1.25  
    1.26  \isabellestyle{it}
    1.27  
    1.28 +
    1.29  %%% Local Variables: 
    1.30  %%% mode: latex
    1.31  %%% TeX-master: "implementation"