# HG changeset patch # User wenzelm # Date 1138894290 -3600 # Node ID b1e2151574c15c711cc580530cc47440cf2b5a3e # Parent 701e53c81c257ce6af238c133b1657bdd82786cd index elements; diff -r 701e53c81c25 -r b1e2151574c1 doc-src/isar.sty --- a/doc-src/isar.sty Thu Feb 02 16:31:28 2006 +0100 +++ b/doc-src/isar.sty Thu Feb 02 16:31:30 2006 +0100 @@ -11,6 +11,7 @@ \newcommand{\indexoutertoken}[1]{\index{#1 (syntax)|bold}\index{Syntax!#1|bold}} \newcommand{\indexouternonterm}[1]{\index{#1 (syntax)|bold}\index{Syntax!#1|bold}} \newcommand{\indexisarcmd}[1]{\index{#1 (command)|bold}\index{Commands!#1|bold}} +\newcommand{\indexisarelem}[1]{\index{#1 (element)|bold}\index{Elements!#1|bold}} \newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}\index{Methods!#1|bold}} \newcommand{\indexisaratt}[1]{\index{#1 (attribute)|bold}\index{Attributes!#1|bold}} \newcommand{\indexisarthm}[1]{\index{#1 (theorem)|bold}\index{Theorems!#1|bold}}