1.1 --- a/doc-src/isar.sty Tue Aug 24 15:38:18 1999 +0200
1.2 +++ b/doc-src/isar.sty Tue Aug 24 15:41:19 1999 +0200
1.3 @@ -13,7 +13,7 @@
1.4 \newcommand{\indexisarcmd}[1]{\index{#1 (command)|bold}}
1.5 \newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}}
1.6 \newcommand{\indexisaratt}[1]{\index{#1 (attribute)|bold}}
1.7 -\newcommand{\indexisarreg}[1]{\index{#1 (register)|bold}}
1.8 +\newcommand{\indexisarreg}[1]{\index{#1 (result register)|bold}}
1.9
1.10 \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
1.11 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}