| changeset 22289 | 41ce4f5c97c9 |
| parent 20547 | 796ae7fa1049 |
| child 22868 | c82dd66560ac |
--- a/doc-src/IsarImplementation/style.sty Sat Feb 10 09:26:06 2007 +0100 +++ b/doc-src/IsarImplementation/style.sty Sat Feb 10 09:26:07 2007 +0100 @@ -19,6 +19,7 @@ %% index \newcommand{\indexml}[1]{\index{\emph{#1}|bold}} +\newcommand{\indexmlexception}[1]{\index{\emph{#1} (exception)|bold}} \newcommand{\indexmltype}[1]{\index{\emph{#1} (type)|bold}} \newcommand{\indexmlstructure}[1]{\index{\emph{#1} (structure)|bold}} \newcommand{\indexmlfunctor}[1]{\index{\emph{#1} (functor)|bold}}