# 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}}