author | wenzelm |
Sun, 22 Aug 1999 21:14:44 +0200 | |
changeset 7317 | ece660815e03 |
parent 7316 | 8b6d6df020ac |
child 7318 | 768fab6dae74 |
doc-src/isar.sty | file | annotate | diff | comparison | revisions |
1.1 --- a/doc-src/isar.sty Sun Aug 22 21:14:28 1999 +0200 1.2 +++ b/doc-src/isar.sty Sun Aug 22 21:14:44 1999 +0200 1.3 @@ -13,6 +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 1.9 \newcommand{\isarcmd}[1]{\isarkeyword{#1}} 1.10 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}