doc-src/isar.sty
changeset 7336 ff05ab18ac5a
parent 7321 b4dcc32310fb
child 7388 df8490c9a674
equal deleted inserted replaced
7335:abba35b98892 7336:ff05ab18ac5a
    11 \newcommand{\indexoutertoken}[1]{\index{#1 (syntax)|bold}}
    11 \newcommand{\indexoutertoken}[1]{\index{#1 (syntax)|bold}}
    12 \newcommand{\indexouternonterm}[1]{\index{#1 (syntax)|bold}}
    12 \newcommand{\indexouternonterm}[1]{\index{#1 (syntax)|bold}}
    13 \newcommand{\indexisarcmd}[1]{\index{#1 (command)|bold}}
    13 \newcommand{\indexisarcmd}[1]{\index{#1 (command)|bold}}
    14 \newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}}
    14 \newcommand{\indexisarmeth}[1]{\index{#1 (method)|bold}}
    15 \newcommand{\indexisaratt}[1]{\index{#1 (attribute)|bold}}
    15 \newcommand{\indexisaratt}[1]{\index{#1 (attribute)|bold}}
    16 \newcommand{\indexisarreg}[1]{\index{#1 (register)|bold}}
    16 \newcommand{\indexisarreg}[1]{\index{#1 (result register)|bold}}
    17 
    17 
    18 \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
    18 \newcommand{\isarcmd}[1]{\isarkeyword{#1}}
    19 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}
    19 \newcommand{\isartrans}[2]{#1 \mathbin{\,\to\,} #2}
    20 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1}
    20 \newcommand{\isarkeep}[1]{#1 \mathbin{\,\to\,} #1}
    21 \newcommand{\isarmeth}{method}
    21 \newcommand{\isarmeth}{method}